Lore Anaya Pozo

polytype-rs. A Hindley-Milner polymorphic typing system

magnet. Search for a torrent from the command-line and start streaming

workerpool. A simple thread pool for stateful parallel task execution

ghmarkdown. The complete command-line tool for GitHub-flavored markdown

program-induction. A library for program induction and learning representations.

ec. Learning programs with the Exploration-Compression algorithm

servemd. A minimal document server with support for markdown, pug, and secured paths

lambda-CL. Convert between lambda calculus and combinatory logic in Schönfinkel's BCIKS system

config. my dev machine configuration (with vim, zellij, xmonad, git, etc)

cryptocurrency-things. scripts for managing cryptocurrency assets and small mining setups

tobase. Base conversion command-line utility

escaper. a better abstraction for formatting output - Golang package

list-routines. Interactive dataset for program learning.

fral. A rust crate for functional random-access lists

context. Automatic Least-Effort Contextual Learning

XML-edX-.tmbundle. An edX XML Language Grammar (for python/js scripts)

jstemplate. A 10-line Pure JS {{Moustache}} Templating Script

sdas. Synchronous Distributed Algorithm Simulator, for learning and experimentation

rfcs. Python

clean. Command-line utility to clean files from tab characters and trailing spaces.

getLo. JavaScript

ajaxRoute.js. ajaxRoute.js is a pure-javascript micro-templating library with controller capablities on template html files obtained with an ajax request