Alternatives and similar repositories for spaced-repetition-tools

Users that are interested in spaced-repetition-tools are comparing it to the libraries listed below

• jeprinz / pantograph
  ☆92Updated 6 months ago
• mathlingua / mathlingua
  Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…
  ☆70Updated 5 months ago
• Dicklesworthstone / grassmann_article
  ☆51Updated last year
• justinmeiners / srcweave
  A literate programming system for any language.
  ☆112Updated last year
• ndrwnaguib / principia
  Rewriting Principia Mathematica in Lean
  ☆134Updated 2 weeks ago
• mpatajac / jillc
  Compiler for the Jill programming language (an alternative to Jack from the nand2tetris course)
  ☆80Updated 5 months ago
• Syzygies / concepts-artboards
  Ruby script to convert Concepts SVG files into multiple PDF pages
  ☆11Updated 3 years ago
• prathyvsh / knowledge-atlases
  Catalogue of portals that maps out roadmap for self learners
  ☆80Updated 2 years ago
• thass0 / liz
  Collaborative Lisp coding on Discord
  ☆34Updated last year
• georgjz / functional-geometry-gambit-scheme
  A simple implementation based on Peter Henderson's paper "Functional Geometry"
  ☆98Updated 4 years ago
• BobMcDear / trap
  Autoregressive transformers in APL
  ☆106Updated 3 months ago
• bugsbugsbux / understanding-j
  An introduction to the J programming language that gets to the point.
  ☆64Updated last month
• austinvhuang / openmemex
  Open source, local-first knowledge platform.
  ☆210Updated 3 years ago
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆85Updated 4 months ago
• justinmeiners / why-train-when-you-can-optimize
  Learn multi-variable optimization by creating a drawing assistant. No deep learning required!
  ☆28Updated 2 years ago
• Dicklesworthstone / bakery_algorithm
  Lamport's Bakery Algorithm Demonstrated in Python
  ☆96Updated last year
• dbieber / GoNoteGo
  Go Note Go is a note-taking system for when you're on the go, with a focus on driving and camping.
  ☆78Updated last week
• razetime / ngn-k-tutorial
  An ngn/k tutorial.
  ☆204Updated last year
• dmotz / emdash
  📚🧙‍♂️ Wisdom indexer — use AI to organize text snippets so you can actually remember & learn from what you read
  ☆151Updated 4 months ago
• interregna / arraylanguage-companies
  A List of companies that use Array Languages (J, K, APL, q)
  ☆99Updated last year
• mattmight / advent-of-code-2022
  ☆51Updated 2 years ago
• danprince / webassembly-wizardry
  🪄 Tiny challenges for learning WebAssembly
  ☆68Updated 7 months ago
• darius / halp
  Run programs in the Emacs buffer holding their source, seeing their output inline, interactively.
  ☆92Updated 2 years ago
• masukomi / private_comments
  a tool for managing private comments on, but not in, your files
  ☆48Updated 10 months ago
• ostadgeorge / regrad
  micrograd in rust
  ☆16Updated 10 months ago
• madnight / awesome-category-theory
  A curated list of awesome Category Theory resources.
  ☆122Updated 4 months ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 9 months ago
• squirrelinhell / bewelltuned
  ☆12Updated 7 years ago
• jethrokuan / srsly
  Spaced-repetition using Hypothes.is
  ☆29Updated 4 years ago
• andymatuschak / orbit-summer-2022-demo
  Prototype implementation of Aug 2022 mnemonic medium design
  ☆12Updated last year