Vocab drill using parallel corpora, plus classic spaced-repetition drill
☆30Aug 19, 2015Updated 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A small language to demo turning an interpreter into a compiler☆11Nov 3, 2016Updated 9 years ago
- A collection of demonstration languages in Lua/Terra suitable for learning or for forking when creating a new language☆11Aug 27, 2015Updated 10 years ago
- The Average Novel☆10Dec 2, 2017Updated 8 years ago
- Propositional logic in terms of if-then-else☆15Jul 15, 2017Updated 8 years ago
- Chatbot impls in Prolog☆15Feb 15, 2022Updated 4 years ago
- Bézier curves in Haskell☆28Oct 1, 2025Updated 5 months ago
- A book of explanations: a project for nanogenmo 2016☆11Dec 1, 2016Updated 9 years ago
- Alternative Lua implementation☆32Mar 2, 2013Updated 13 years ago
- Work towards a "golden model" of the RISC-V calling convention(s)☆10Oct 2, 2017Updated 8 years ago
- unit testing, logger, OOP, string, table extensions for lua.☆19Mar 7, 2012Updated 14 years ago
- Readline completion for Lua: DEPRECATED IN FAVOUR OF http://smbolton.com/lua.html☆21May 19, 2015Updated 10 years ago
- LPEG-based Lua macros☆14Apr 19, 2011Updated 14 years ago
- Small example MirageOS unikernels.☆15Jun 14, 2019Updated 6 years ago
- Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp☆17Nov 13, 2008Updated 17 years ago
- An implementation of Tarjan's Strongly Connected Components algorithm☆14Aug 25, 2019Updated 6 years ago
- Paced web reader. An esoteric feed reader and workflow for keeping up to date online.☆25Jan 5, 2025Updated last year
- Emacs major mode for Alloy☆13Jul 14, 2018Updated 7 years ago
- Lightweight wrapper for epoll.☆21Oct 2, 2024Updated last year
- Sample file system code☆17Nov 21, 2011Updated 14 years ago
- Exactly what it says on the tin.☆20Oct 10, 2017Updated 8 years ago
- ☆25Mar 20, 2021Updated 5 years ago
- Readline powered shell for LuaJIT☆28Mar 17, 2013Updated 13 years ago
- Trivial Lua human-readable binary-safe serialization library☆24Sep 10, 2013Updated 12 years ago
- 𝙋𝙝𝙮𝙡𝙤𝙜𝙚𝙣𝙚𝙩𝙞𝙘 𝘾𝙤𝙢𝙥𝙤𝙣𝙚𝙣𝙩 𝙂𝙧𝙖𝙥𝙝 ⸺ Haskell program and libraries for general phylogenetic graph search☆32May 30, 2022Updated 3 years ago
- QBX Bytecode Xecutor☆23Dec 30, 2020Updated 5 years ago
- ☆12Oct 19, 2014Updated 11 years ago
- Relational Scheme interpreter, written in miniKanren, with Scheme pattern matcher☆11Mar 17, 2015Updated 11 years ago
- unrolled skip list library for C☆22May 25, 2019Updated 6 years ago
- A simple development of linear logic in Coq.☆13Mar 22, 2025Updated last year
- A catalog of code worth reading☆117May 25, 2017Updated 8 years ago
- X11 visualizer☆33Dec 30, 2024Updated last year
- KDB bindings for lua☆27Dec 3, 2019Updated 6 years ago
- A PEG that compiles itself.☆76Sep 25, 2010Updated 15 years ago
- A processing thing that draws weird glyphs☆12May 2, 2017Updated 8 years ago
- Qt-based implementation of VisOpt Slider widget [UIST 2014] for C++ & Python☆12Oct 12, 2019Updated 6 years ago
- A bot that posts questions without context.☆10Jul 22, 2025Updated 8 months ago
- Once a day posts a tweet to @isPHPdying.☆11Jul 2, 2021Updated 4 years ago
- lightweight search engine for local text docs☆29Feb 19, 2012Updated 14 years ago
- A prolog-like language with compound truth value logic☆70Apr 5, 2018Updated 7 years ago