nham / hippoLinks
Command-line spaced repetition scheduler.
☆10Updated 10 years ago
Alternatives and similar repositories for hippo
Users that are interested in hippo are comparing it to the libraries listed below
Sorting:
- minimal miniKanren implementation in Julia☆23Updated 8 years ago
- Pijul <-> Git proxy☆22Updated 6 years ago
- Tools for experimenting diff "slider" heuristics☆54Updated 9 years ago
- An experimental library for metaprogramming with algebraic effects and handlers☆19Updated this week
- multiparameter typeclasses for Julia☆24Updated 8 years ago
- A python library to deal with scientific papers.☆17Updated 9 years ago
- Programmable, human-readable inlining of Python code☆28Updated 2 years ago
- A collection of Kanren implementations in Julia☆24Updated 2 weeks ago
- ☆14Updated 5 years ago
- ☆10Updated 3 years ago
- REPL for LispSyntax.jl☆20Updated 5 years ago
- Find common stylistic problems in english texts. Works well for technical or scientific documents.☆33Updated 9 years ago
- HTML DSL AFAICT☆15Updated 2 years ago
- A list of compilers with some metadata.☆12Updated last year
- Transform git histories between tree-like and linear forms☆28Updated 5 years ago
- Call Julia from Rust☆16Updated 8 years ago
- World's dumbest fuzzer☆52Updated last year
- a syntax directed editor☆17Updated last year
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆36Updated 13 years ago
- Pull your compiler up with abstract bootstraps.☆31Updated 2 years ago
- Convert latex symbols to unicode characters☆45Updated 5 years ago
- See all your code rendered at once and zoom around it using Rust & GPU rendering.☆32Updated 9 years ago
- Lens.jl is a simple Julia library to inspect the runtime behaviour of your programs, with minimal interference to the program itself.☆23Updated 3 years ago
- Method dispatch based on pattern matching for Julia☆49Updated 8 years ago
- Monadic expressions and sequences for Julia☆32Updated last year
- A TypeChecker for Julia☆70Updated 11 years ago
- Vim plugin for the Literate programming tool☆38Updated 6 years ago
- what is the soul of man when soul and body seperates body dies soul lives fear not man which can only destroy the body, but fear him whic…☆22Updated 12 years ago
- A math language for dimensional analysis☆23Updated 2 years ago
- ACSets: Algebraic databases as in-memory data structures☆26Updated this week