vthemelis

type-challenges

Collection of TypeScript type challenges with online judge

alt-tab-macos

Windows alt-tab on macOS

modin

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

pip-tools

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

pyre-check

Performant type-checking for python.

magic-trace

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

blazingmq

A modern high-performance open source message queuing system

Paket

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

typeguard

Run-time type checker for Python

austral

Systems language with linear types and capability-based security.

wai

Haskell Web Application Interface

armada

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

ocaml-torch

OCaml bindings for PyTorch

ocamlgraph

OCaml graph library

jupyterlab_iframe

View html as an embedded iframe in JupyterLab

kcas

Software Transactional Memory for OCaml

fasttrackml

Experiment tracking server focused on speed and scalability

red

Reason Debugger

plugin-pyenv

Simple Python Version Management integration.

monoid-subclasses

Subclasses of Monoid with a solid theoretical foundation and practical purposes

jupyterlab-emacskeys

Emacs keybindings inside JupyterLab notebook cells

ocaml-simdjson

Parsing gigabytes of JSON per second

vsnetrw

🗂️ A split file explorer for vscode

jupysql-plugin

Peregrine

ipyslickgrid

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

SolutionValidator

A tool for validating solution files and viewing project dependencies

thrift

OCaml implementation of Thrift Protocol

pushgatewayredis

Prometheus Pushgateway based on Redis

go-hft-orderbook

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