Sam Vervaeck

Random experiments with formal systems

Work with types both at compile time and at runtime in TypeScript

A fully typed RPC framework for TypeScript

No description provided.

Experiments with theorem proving

A tiny library for parsing environment variables

A work-in-progress lexer/parser generator for a growing number of languages

qBittorrent BitTorrent client

an efficient feature complete C++ bittorrent implementation

Language Server Protocol implementation for Rust based on Tower

A programming language for rapid application development

Programming in C++ with ease of mind

No description provided.

An applet for the Cosmic DE that displays current total RAM usage

No description provided.

Generate TypeScript AST definitions from a simple specification file

A configuration file manager for Linux

A free React UI library for desktop and mobile

A JavaScript Proxy object that automatically nests itself

RIFE, Real-Time Intermediate Flow Estimation for Video Frame Interpolation implemented with ncnn library

:fireworks: Blazingly fast GPU accelerated pixelflut server written in Rust.

Automatic Ripping Machine (ARM) Scripts

A pure Python implementation of the Windows API IDvdInfo2::GetDiscID method

Sources of the original dvdid exectutable (hopefully without viruses)

A demonstration of a potential bug when using Tokio's split streams

A string type for Rust that is not required to be valid UTF-8.

A small framework for quickly building SPAs

Monitor any JavaScript object for real-time changes

Facilitating high-level interactions between Wasm modules and JavaScript

Generate programming code using an elegant template language