eudoxia0 / spaced-repetition-toolsLinks
Scripts for generating flashcards.
☆40Updated 2 years ago
Alternatives and similar repositories for spaced-repetition-tools
Users that are interested in spaced-repetition-tools are comparing it to the libraries listed below
Sorting:
- Catalogue of portals that maps out roadmap for self learners☆80Updated 2 years ago
- ☆93Updated 5 months ago
- Open source, local-first knowledge platform.☆210Updated 2 years ago
- Compiler for the Jill programming language (an alternative to Jack from the nand2tetris course)☆80Updated 4 months ago
- A literate programming system for any language.☆112Updated last year
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆70Updated 4 months ago
- A slow link aggregator built with Gleam☆46Updated 4 months ago
- Ruby script to convert Concepts SVG files into multiple PDF pages☆11Updated 3 years ago
- Catalogue on the nature and bounds of thought☆27Updated 2 years ago
- Learn multi-variable optimization by creating a drawing assistant. No deep learning required!☆28Updated 2 years ago
- Go Note Go is a note-taking system for when you're on the go, with a focus on driving and camping.☆78Updated 3 weeks ago
- A bibliography for protocol design☆39Updated 3 months ago
- Audible NP-Complete Problem☆22Updated 5 years ago
- Rewriting Principia Mathematica in Lean☆132Updated 8 months ago
- Run programs in the Emacs buffer holding their source, seeing their output inline, interactively.☆92Updated last year
- Spaced-repetition using Hypothes.is☆29Updated 4 years ago
- A curated list of awesome Category Theory resources.☆118Updated 3 months ago
- posts and code related to personal studies☆371Updated 9 months ago
- Prototype implementation of Aug 2022 mnemonic medium design☆12Updated last year
- ☆51Updated 2 years ago
- Solving the first 100 Project Euler problems using 100 different programming languages!☆240Updated 2 months ago
- A List of companies that use Array Languages (J, K, APL, q)☆99Updated last year
- Lamport's Bakery Algorithm Demonstrated in Python☆96Updated last year
- An introduction to temporal logic and how it can be used to analyze concurrency☆105Updated last year
- Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)☆24Updated 3 years ago
- TypeScript's type system is Turing complete - let's abuse that!☆101Updated last year
- Collaborative Lisp coding on Discord☆34Updated last year
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆117Updated 7 months ago
- Plot Cookbook☆50Updated 2 years ago
- Brzozowski derivative python sketch☆85Updated 3 months ago