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:
- A small language to demo turning an interpreter into a compiler☆11Updated 8 years ago
- Book and code: how to build and distribute applications in Dyalog APL☆33Updated 5 years ago
- Smallish programs written to learn something.☆51Updated last year
- backup of the joy programming language☆30Updated 9 years ago
- Compiler generator (3rd Futamura projection) for first-order Scheme☆13Updated 9 years ago
- A virtual machine for the Self language, written entirely in Self, and a development environment for that VM.☆44Updated 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…☆16Updated 3 years ago
- Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin☆58Updated 16 years ago
- A Magic: the Gathering™ expert system☆95Updated 13 years ago
- things that don't deserve their own repo☆64Updated 3 months ago
- Gazelle is a Javascripty Lisp for Javascript.☆69Updated 12 years ago
- Prolog implementation of microKanren☆43Updated 10 years ago
- Ait - Concatenative language for making visual demos with Canvas☆47Updated 8 years ago
- Freeputer ( ) [ ] { } forever free☆40Updated 7 years ago
- Art of Prolog Code☆36Updated 6 years ago
- Stackless Joy☆23Updated 5 months ago
- A minimal Forth VM and Compiler implemented in PostScript☆29Updated 14 years ago
- adds an optional type system to J language☆21Updated 9 years ago
- combined object/lambda architcture☆25Updated 16 years ago
- Toki Pona is a constructed, minimal language. This parser based on swi-prolog and definite clause grammars (dcg) and supports spelling, g…☆50Updated 11 months ago
- A Scheme compiler to Lua bytecode☆22Updated 8 years ago
- the Meta-II VM in C☆20Updated 10 years ago
- Lojban ologs (categorical databases) using jq☆24Updated 6 years ago
- an advanced text adventure engine with a web interface, written in prolog☆24Updated 9 years ago
- purple: compiling a reflective language☆33Updated 11 months ago
- ☆21Updated 12 years ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆16Updated 7 years ago
- A tiny CPU☆20Updated 16 years ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆29Updated 7 years ago
- Unofficial repository for JSqueak: A Java implementation of Squeak Smalltalk.☆23Updated 2 years ago