Software Transactional Memory for OCaml

Haskell Web Application Interface

Prometheus Pushgateway based on Redis

Collection of TypeScript type challenges with online judge

🗂️ A split file explorer for vscode

A multi-cluster batch queuing system for high-throughput workloads on Kubernetes.

A set of tools to keep your pinned Python dependencies fresh.

Run-time type checker for Python

A modern high-performance open source message queuing system

Reason Debugger

Golang implementation of a Limit Order Book (LOB) for high frequency trading in crypto exchanges

Experiment tracking server focused on speed and scalability

Systems language with linear types and capability-based security.

Performant type-checking for python.

OCaml graph library

OCaml bindings for PyTorch

magic-trace collects and displays high-resolution traces of what a process is doing

A tool for validating solution files and viewing project dependencies

OCaml implementation of Thrift Protocol

Simple Python Version Management integration.

Modin: Scale your Pandas workflows by changing a single line of code

An interactive grid for sorting, filtering, and editing DataFrames in Jupyter notebooks

View html as an embedded iframe in JupyterLab

A dependency manager for .NET with support for NuGet packages and Git repositories.

Emacs keybindings inside JupyterLab notebook cells

Subclasses of Monoid with a solid theoretical foundation and practical purposes

Parsing gigabytes of JSON per second