lorepozo/config

Stars
2
Language
Shell
Created almost 8 years ago
Updated 10 months ago

lorepozo/config

lorepozo

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

polytype-rs

A Hindley-Milner polymorphic typing system

magnet

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

ghmarkdown

The complete command-line tool for GitHub-flavored markdown

workerpool

A simple thread pool for stateful parallel task execution

program-induction

A library for program induction and learning representations.

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

tobase

Base conversion command-line utility

cryptocurrency-things

scripts for managing cryptocurrency assets and small mining setups

escaper

a better abstraction for formatting output - Golang package

jstemplate

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

fral

A rust crate for functional random-access lists

list-routines

Interactive dataset for program learning.

XML-edX-.tmbundle

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

context

Automatic Least-Effort Contextual Learning

getLo

clean

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

sdas

Synchronous Distributed Algorithm Simulator, for learning and experimentation

rfcs

ajaxRoute.js

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