Proof-of-concept prototype for Userland

General-Purpose Computer Algebra System as an EDSL in Haskell

PostScript programming in the Coq proof assistant

A newtype-friendly wrapper for Data.Vector.Unboxed

Writing an OS in Rust

🍻 Default formulae for the missing package manager for macOS (or Linux)

Interpreter of the ITGL with dynamic type inference

Pampy: The Pattern Matching for Python you always dreamed of.

Awesome tmux-based terminal divider

IPython Kernel for Jupyter

Julia kernel for Jupyter

Egison language package for Atom

Working through Structure and Interpretation of Classical Mechanics.

Simulate physics on generalized coordinate systems using Hamiltonian Mechanics and automatic differentiation. Don't throw away your shot.

p5.js is a client-side JS platform that empowers artists, designers, students, and anyone to learn to code and express themselves creatively on the web. It is based on the core principles of Proces…

Let's create you electric doorknob which can be opened/closed from the unix server.

Generate flexible patterns on the shell

High performance websocket client in ANSI C

A wrapper library to bring Unicode Normalization Form support to Ruby/JRuby

pattern matching for lua

🍀 Local git statistics including GitHub-like contributions calendars.

Scala-like functional pattern matching in Python

Moved to Codeberg; this is a convenience mirror

Type inference in OCaml

Universal markup converter

The Racket repository

A scalable, deadlock-resolving resource locker

Build Erlang apps/deps faster