Pinned Repositories
ec
config
my dev machine configuration (with vim, zellij, xmonad, git, etc)
ec
Learning programs with the Exploration-Compression algorithm
ghmarkdown
The complete command-line tool for GitHub-flavored markdown
magnet
Search for a torrent from the command-line and start streaming
polytype-rs
A Hindley-Milner polymorphic typing system
program-induction
A library for program induction and learning representations.
servemd
A minimal document server with support for markdown, pug, and secured paths
workerpool
A simple thread pool for stateful parallel task execution
argen
Generate argument parsing logic in C from a simple config
lorepozo's Repositories
lorepozo/polytype-rs
A Hindley-Milner polymorphic typing system
lorepozo/magnet
Search for a torrent from the command-line and start streaming
lorepozo/workerpool
A simple thread pool for stateful parallel task execution
lorepozo/ghmarkdown
The complete command-line tool for GitHub-flavored markdown
lorepozo/program-induction
A library for program induction and learning representations.
lorepozo/ec
Learning programs with the Exploration-Compression algorithm
lorepozo/servemd
A minimal document server with support for markdown, pug, and secured paths
lorepozo/lambda-CL
Convert between lambda calculus and combinatory logic in Schönfinkel's BCIKS system
lorepozo/config
my dev machine configuration (with vim, zellij, xmonad, git, etc)
lorepozo/cryptocurrency-things
scripts for managing cryptocurrency assets and small mining setups
lorepozo/escaper
a better abstraction for formatting output - Golang package
lorepozo/tobase
Base conversion command-line utility
lorepozo/context
Automatic Least-Effort Contextual Learning
lorepozo/fral
A rust crate for functional random-access lists
lorepozo/list-routines
Interactive dataset for program learning.
lorepozo/XML-edX-.tmbundle
An edX XML Language Grammar (for python/js scripts)
lorepozo/ajaxRoute.js
ajaxRoute.js is a pure-javascript micro-templating library with controller capablities on template html files obtained with an ajax request
lorepozo/clean
Command-line utility to clean files from tab characters and trailing spaces.
lorepozo/getLo
lorepozo/rfcs
lorepozo/sdas
Synchronous Distributed Algorithm Simulator, for learning and experimentation
lorepozo/conduit_tiny
lorepozo/dragv2-jsinput
An edX jsinput tool for new, better drag and drop
lorepozo/epsilon.tmbundle
TextMate themes for the casual power coder - very readable, light and dark themes.
lorepozo/esg
esg application
lorepozo/Markdown-GitHub-.tmBundle
A TextMate Bundle of a language grammar with syntax highlighting in fenced blocks of major GitHub-flavored markdown approved languages
lorepozo/moustache.tmbundle
A TextMate Bundle for Syntax Highlighting of Javascript Embedded in HTML via {{ Moustaches }}
lorepozo/tinychat
lorepozo/tools-osx
A small collection of command line tools for Mac OS X, incl.: clipcat, dict, eject, ql, swuser, trash & with.
lorepozo/zsh