Vasilis Themelis's starred repositories

kcas

Software Transactional Memory for OCaml

Language:OCamlLicense:ISCStargazers:99Issues:0Issues:0

wai

Haskell Web Application Interface

Language:HaskellLicense:MITStargazers:828Issues:0Issues:0

pushgatewayredis

Prometheus Pushgateway based on Redis

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

type-challenges

Collection of TypeScript type challenges with online judge

Language:TypeScriptLicense:MITStargazers:41790Issues:0Issues:0

vsnetrw

🗂️ A split file explorer for vscode

Language:JavaScriptLicense:UnlicenseStargazers:26Issues:0Issues:0

armada

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

Language:GoLicense:Apache-2.0Stargazers:446Issues:0Issues:0

pip-tools

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

Language:PythonLicense:BSD-3-ClauseStargazers:7628Issues:0Issues:0

typeguard

Run-time type checker for Python

Language:PythonLicense:NOASSERTIONStargazers:1479Issues:0Issues:0

blazingmq

A modern high-performance open source message queuing system

Language:C++License:Apache-2.0Stargazers:2504Issues:0Issues:0

red

Reason Debugger

Language:PythonStargazers:82Issues: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

fasttrackml

Experiment tracking server focused on speed and scalability

Language:GoLicense:Apache-2.0Stargazers:96Issues:0Issues:0

austral

Systems language with linear types and capability-based security.

Language:OCamlLicense:Apache-2.0Stargazers:1101Issues:0Issues:0

pyre-check

Performant type-checking for python.

Language:OCamlLicense:MITStargazers:6767Issues:0Issues:0

ocamlgraph

OCaml graph library

Language:OCamlLicense:NOASSERTIONStargazers:226Issues:0Issues:0

ocaml-torch

OCaml bindings for PyTorch

Language:OCamlLicense:Apache-2.0Stargazers:404Issues:0Issues:0

magic-trace

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

Language:OCamlLicense:MITStargazers:4537Issues:0Issues:0

SolutionValidator

A tool for validating solution files and viewing project dependencies

Language:C#License:Apache-2.0Stargazers:11Issues:0Issues:0

thrift

OCaml implementation of Thrift Protocol

Language:OCamlLicense:ISCStargazers:6Issues:0Issues:0
Language:TypeScriptLicense:BSD-3-ClauseStargazers:15Issues:0Issues:0

plugin-pyenv

Simple Python Version Management integration.

Language:ShellLicense:MITStargazers:38Issues:0Issues:0

modin

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

Language:PythonLicense:Apache-2.0Stargazers:9640Issues:0Issues:0

ipyslickgrid

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

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

jupyterlab_iframe

View html as an embedded iframe in JupyterLab

Language:JavaScriptLicense:Apache-2.0Stargazers:110Issues:0Issues:0
Language:F#License:Apache-2.0Stargazers:13Issues:0Issues:0

Paket

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

Language:F#License:MITStargazers:2006Issues:0Issues:0

jupyterlab-emacskeys

Emacs keybindings inside JupyterLab notebook cells

Language:TypeScriptLicense:MITStargazers:31Issues:0Issues:0

monoid-subclasses

Subclasses of Monoid with a solid theoretical foundation and practical purposes

Language:HaskellLicense:BSD-3-ClauseStargazers:31Issues:0Issues:0

ocaml-simdjson

Parsing gigabytes of JSON per second

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

alt-tab-macos

Windows alt-tab on macOS

Language:SwiftLicense:GPL-3.0Stargazers:10275Issues:0Issues:0