darius / spaced-outLinks
Vocab drill using parallel corpora, plus classic spaced-repetition drill
☆30Updated 10 years ago
Alternatives and similar repositories for spaced-out
Users that are interested in spaced-out are comparing it to the libraries listed below
Sorting:
- Book and code: how to build and distribute applications in Dyalog APL☆32Updated 6 years ago
- A small language to demo turning an interpreter into a compiler☆11Updated 9 years ago
- backup of the joy programming language☆31Updated 9 years ago
- things that don't deserve their own repo☆63Updated 7 months ago
- Programs for computing beautiful pictures and animations of zeroes of polynomials.☆14Updated last year
- combined object/lambda architcture☆25Updated 16 years ago
- a quick system I hacked together to bundle a few thousand pages of notes I mostly haven’t published before up into an archive of pregener…☆15Updated 4 years ago
- A Scheme compiler to Lua bytecode☆22Updated 8 years ago
- Compiler generator (3rd Futamura projection) for first-order Scheme☆13Updated 9 years ago
- Canonical miniKanren implementation in Racket☆87Updated 4 years ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆63Updated 7 years ago
- Gazelle is a Javascripty Lisp for Javascript.☆69Updated 12 years ago
- A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.☆70Updated 15 years ago
- miniKanren for interactive tutorials on the web☆34Updated 8 months ago
- organizes tags☆23Updated 8 years ago
- Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin☆58Updated 17 years ago
- ☆22Updated 12 years ago
- Examples of literate programming by Knuth☆40Updated 7 months ago
- The Pascal-F Verifier☆51Updated 8 years ago
- Freeputer ( ) [ ] { } forever free☆40Updated 7 years ago
- purple: compiling a reflective language☆33Updated last year
- High-end Cryptographic Library☆44Updated 6 years ago
- Prolog implementation of microKanren☆44Updated 10 years ago
- the Meta-II VM in C☆21Updated 10 years ago
- A tiny CPU☆20Updated 16 years ago
- i386, x86_64, ARMv7 assembler/linker; Nothing-like mid-level language; Linear-scan register allocator; Operating system for Raspberry Pi …☆100Updated 4 months ago
- Tutorial materials to teach Racket/Scribble to people without a math or CS background☆23Updated 7 years ago
- APL is the greatest language ever☆68Updated last year
- A tiny wiki engine. (Fossil Export)☆13Updated 2 years ago
- Lojban ologs (categorical databases) using jq☆25Updated 7 years ago