Scripts for generating flashcards.
☆44Apr 11, 2023Updated 3 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- add/remove for AVL, red-black, 2-3, 2-3-4 trees using GADTs☆17Nov 5, 2023Updated 2 years ago
- simple custom start page with inline-css and nerd fonts glyphs☆20Jul 2, 2022Updated 4 years ago
- Um esboço do que seria a arquitetura do Pix Crédito☆11Jun 27, 2022Updated 4 years ago
- Improvements to picol: A TCL like interpreter suitable as an shell in an embedded system☆34Nov 23, 2025Updated 8 months ago
- Extensible, Type Safe Error Handling in Haskell☆13Dec 22, 2020Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.☆32Feb 22, 2021Updated 5 years ago
- A light-weight, fast, and easy to use context api for Sinuous☆12Jan 30, 2023Updated 3 years ago
- Exploration of the Piece Table data structure in Haskell☆10Mar 17, 2017Updated 9 years ago
- ☆11Dec 3, 2023Updated 2 years ago
- LablGL: an openGL interface for OCaml☆25Dec 24, 2023Updated 2 years ago
- The Stroscot Programming Language☆12Jul 9, 2026Updated 2 weeks ago
- The Titan programming language.☆12Apr 16, 2024Updated 2 years ago
- ☆11Nov 12, 2024Updated last year
- A LaTeX document class for notes 📝 and textbooks 📚☆14Jul 14, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Physics plugin with rapier for the shipyard ECS.☆11Mar 21, 2021Updated 5 years ago
- Haskell library for the Chrome DevTools Protocol☆11Dec 27, 2023Updated 2 years ago
- a tiny tool for visualising substructual sharing in data structures 🕵️♀️☆18Apr 4, 2019Updated 7 years ago
- A template project to build a C++/CMake/vcpkg based projects with IDE and GitHub Actions. Build is speed up with caching of artifacts.☆13May 24, 2022Updated 4 years ago
- Construct dynamically sized types safely☆12Nov 24, 2023Updated 2 years ago
- Subscriber Only is a Jekyll plugin that, with a Ruby gem and a couple lines of YAML, enables subscription management, payment processing …☆13Aug 11, 2023Updated 2 years ago
- A flexible nim library for making frontend text editors using the nim JavaScript compiler.☆13Aug 28, 2024Updated last year
- Exercise: add a web API in front of godoc so its data can be queried via HTTP/JSON.☆11Mar 8, 2014Updated 12 years ago
- Portfolio, time tracker and exocortex. No-JS by JS from JS.☆14Aug 27, 2024Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Deprecated in favour of https://github.com/tonyday567/numhask☆14Apr 9, 2017Updated 9 years ago
- A curated list of resources on the science of learning anything☆35Dec 17, 2024Updated last year
- Semi-automated vocabulary generation from semantic vector models☆10Dec 15, 2021Updated 4 years ago
- A Clojure library for writing difference equations☆13Jul 15, 2017Updated 9 years ago
- ☆16Nov 1, 2023Updated 2 years ago
- An implementation of "Freer Monads, More Extensible Effects".☆20Oct 17, 2018Updated 7 years ago
- ☆16Mar 11, 2025Updated last year
- TiddlyWiki plugin: Disqus comments☆13Feb 6, 2024Updated 2 years ago
- Cross-chain atomic swap protocol between Monero and Ethereum☆14Nov 21, 2021Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆11Feb 19, 2024Updated 2 years ago
- Rob Pike's simple regex matcher converted to Go☆11Aug 14, 2022Updated 3 years ago
- bare minimum chess program☆11Sep 16, 2020Updated 5 years ago
- Convert Java bytecode to firm IR☆18Feb 20, 2017Updated 9 years ago
- reqwest ♡ oauth1-request☆19Aug 28, 2024Updated last year
- A very basic Lisp + Erlang-style processes, on a virtual machine☆10Aug 24, 2016Updated 9 years ago
- Roda de leitura técnica em Computação, Engenharia de Software e Matemática☆10Aug 27, 2024Updated last year