There are no reviews yet. Be the first to send feedback to the community and the maintainers!
polytype-rs
A Hindley-Milner polymorphic typing systemmagnet
Search for a torrent from the command-line and start streamingghmarkdown
The complete command-line tool for GitHub-flavored markdownworkerpool
A simple thread pool for stateful parallel task executionprogram-induction
A library for program induction and learning representations.servemd
A minimal document server with support for markdown, pug, and secured pathslambda-CL
Convert between lambda calculus and combinatory logic in Schönfinkel's BCIKS systemtobase
Base conversion command-line utilitycryptocurrency-things
scripts for managing cryptocurrency assets and small mining setupsescaper
a better abstraction for formatting output - Golang packagejstemplate
A 10-line Pure JS {{Moustache}} Templating Scriptfral
A rust crate for functional random-access listslist-routines
Interactive dataset for program learning.config
my dev machine configuration (with vim, zellij, xmonad, git, etc)XML-edX-.tmbundle
An edX XML Language Grammar (for python/js scripts)context
Automatic Least-Effort Contextual LearninggetLo
clean
Command-line utility to clean files from tab characters and trailing spaces.sdas
Synchronous Distributed Algorithm Simulator, for learning and experimentationrfcs
Love Open Source and this site? Check out how you can help us