Lore Anaya Pozo (@lorepozo)
github

lorepozo

Twitter logo Share LinkedIn logo Share Facebook logo Share

Top repositories

1

polytype-rs

A Hindley-Milner polymorphic typing system
Rust
49
star
2

magnet

Search for a torrent from the command-line and start streaming
JavaScript
43
star
3

ghmarkdown

The complete command-line tool for GitHub-flavored markdown
Python
32
star
4

workerpool

A simple thread pool for stateful parallel task execution
Rust
31
star
5

program-induction

A library for program induction and learning representations.
Rust
29
star
6

servemd

A minimal document server with support for markdown, pug, and secured paths
Go
7
star
7

lambda-CL

Convert between lambda calculus and combinatory logic in Schรถnfinkel's BCIKS system
Scheme
4
star
8

tobase

Base conversion command-line utility
Shell
3
star
9

cryptocurrency-things

scripts for managing cryptocurrency assets and small mining setups
Shell
3
star
10

escaper

a better abstraction for formatting output - Golang package
Go
3
star
11

jstemplate

A 10-line Pure JS {{Moustache}} Templating Script
JavaScript
2
star
12

fral

A rust crate for functional random-access lists
Rust
2
star
13

list-routines

Interactive dataset for program learning.
Racket
2
star
14

config

my dev machine configuration (with vim, zellij, xmonad, git, etc)
Shell
2
star
15

XML-edX-.tmbundle

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

context

Automatic Least-Effort Contextual Learning
Rust
2
star
17

getLo

JavaScript
1
star
18

clean

Command-line utility to clean files from tab characters and trailing spaces.
Shell
1
star
19

sdas

Synchronous Distributed Algorithm Simulator, for learning and experimentation
JavaScript
1
star
20

rfcs

Python
1
star
21

ajaxRoute.js

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