vthemelis

kcas

Software Transactional Memory for OCaml

wai

Haskell Web Application Interface

pushgatewayredis

Prometheus Pushgateway based on Redis

type-challenges

Collection of TypeScript type challenges with online judge

vsnetrw

🗂️ A split file explorer for vscode

armada

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

pip-tools

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

typeguard

Run-time type checker for Python

blazingmq

A modern high-performance open source message queuing system

red

Reason Debugger

go-hft-orderbook

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

fasttrackml

Experiment tracking server focused on speed and scalability

austral

Systems language with linear types and capability-based security.

pyre-check

Performant type-checking for python.

ocamlgraph

OCaml graph library

ocaml-torch

OCaml bindings for PyTorch

magic-trace

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

SolutionValidator

A tool for validating solution files and viewing project dependencies

thrift

OCaml implementation of Thrift Protocol

jupysql-plugin

plugin-pyenv

Simple Python Version Management integration.

modin

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

ipyslickgrid

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

jupyterlab_iframe

View html as an embedded iframe in JupyterLab

Peregrine

Paket

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

jupyterlab-emacskeys

Emacs keybindings inside JupyterLab notebook cells

monoid-subclasses

Subclasses of Monoid with a solid theoretical foundation and practical purposes

ocaml-simdjson

Parsing gigabytes of JSON per second

alt-tab-macos

Windows alt-tab on macOS