Stars
Easy to Deploy Prediction Market Platform
A language-agnostic "shebang interpreter" that enables you to write scripts in compiled languages.
A standalone script for automated building and deploying of sphinx docs via travis-ci
Simple verification of Rust programs via functional purification in Lean 2(!)
An educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V hypervisor.
Cross-referencing system for LaTeX, inspired with RDF
Dokuwiki template with the OLD KIT corporate Design: DEPRECATED.
some crummy incremental game made with angular 2
dlang http client library inspired by python-requests
Trying to understand the file format of Tip Toi
eBay's TSV Utilities: Command line tools for large, tabular data files. Filtering, statistics, sampling, joins and more.
Adhocracy is a policy drafting and decision making software for distributed groups and open institutions.
abduco provides session management i.e. it allows programs to be run independently from its controlling terminal. That is programs can be detached - run in the background - and then later reattache…
HibernateD is ORM for D language (similar to Hibernate)
The CompCert formally-verified C compiler
A private messenger for Windows, macOS, and Linux.
Rustybox is something like busybox, but written in Rust language.
Cross-platform Rust rewrite of the GNU coreutils