Vasilis Themelis's starred repositories

type-challenges

Collection of TypeScript type challenges with online judge

Language:TypeScriptLicense:MITStargazers:41791Issues:157Issues:33126

alt-tab-macos

Windows alt-tab on macOS

Language:SwiftLicense:GPL-3.0Stargazers:10275Issues:44Issues:3178

modin

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

Language:PythonLicense:Apache-2.0Stargazers:9640Issues:114Issues:4150

pip-tools

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

Language:PythonLicense:BSD-3-ClauseStargazers:7628Issues:102Issues:1063

pyre-check

Performant type-checking for python.

Language:OCamlLicense:MITStargazers:6767Issues:114Issues:405

magic-trace

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

Language:OCamlLicense:MITStargazers:4537Issues:34Issues:93

blazingmq

A modern high-performance open source message queuing system

Language:C++License:Apache-2.0Stargazers:2504Issues:27Issues:57

Paket

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

typeguard

Run-time type checker for Python

Language:PythonLicense:NOASSERTIONStargazers:1479Issues:22Issues:329

austral

Systems language with linear types and capability-based security.

Language:OCamlLicense:Apache-2.0Stargazers:1101Issues:29Issues:297

wai

Haskell Web Application Interface

Language:HaskellLicense:MITStargazers:828Issues:32Issues:477

armada

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

Language:GoLicense:Apache-2.0Stargazers:446Issues:27Issues:727

ocaml-torch

OCaml bindings for PyTorch

Language:OCamlLicense:Apache-2.0Stargazers:404Issues:14Issues:70

ocamlgraph

OCaml graph library

Language:OCamlLicense:NOASSERTIONStargazers:226Issues:16Issues:85

jupyterlab_iframe

View html as an embedded iframe in JupyterLab

Language:JavaScriptLicense:Apache-2.0Stargazers:110Issues:5Issues:68

kcas

Software Transactional Memory for OCaml

Language:OCamlLicense:ISCStargazers:99Issues:8Issues:18

fasttrackml

Experiment tracking server focused on speed and scalability

Language:GoLicense:Apache-2.0Stargazers:96Issues:15Issues:430

red

Reason Debugger

plugin-pyenv

Simple Python Version Management integration.

Language:ShellLicense:MITStargazers:38Issues:7Issues:3

monoid-subclasses

Subclasses of Monoid with a solid theoretical foundation and practical purposes

Language:HaskellLicense:BSD-3-ClauseStargazers:31Issues:5Issues:35

jupyterlab-emacskeys

Emacs keybindings inside JupyterLab notebook cells

Language:TypeScriptLicense:MITStargazers:31Issues:3Issues:10

ocaml-simdjson

Parsing gigabytes of JSON per second

Language:OCamlLicense:ISCStargazers:28Issues:2Issues:0

vsnetrw

🗂️ A split file explorer for vscode

Language:JavaScriptLicense:UnlicenseStargazers:26Issues:3Issues:16
Language:TypeScriptLicense:BSD-3-ClauseStargazers:15Issues:5Issues:62
Language:F#License:Apache-2.0Stargazers:13Issues:18Issues:0

ipyslickgrid

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

Language:PythonLicense:Apache-2.0Stargazers:12Issues:2Issues:0

SolutionValidator

A tool for validating solution files and viewing project dependencies

Language:C#License:Apache-2.0Stargazers:11Issues:15Issues:1

thrift

OCaml implementation of Thrift Protocol

Language:OCamlLicense:ISCStargazers:6Issues:2Issues:0

pushgatewayredis

Prometheus Pushgateway based on Redis

Language:GoLicense:MITStargazers:5Issues:0Issues:0

go-hft-orderbook

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

Language:GoLicense:MITStargazers:1Issues:0Issues:0