A simple spaced repetition system software in PHP.
☆20Jan 14, 2018Updated 8 years ago
Alternatives and similar repositories for Recall
Users that are interested in Recall are comparing it to the libraries listed below
Sorting:
- Standalone Spaced Repetition System for TiddlyWiki☆16Aug 30, 2021Updated 4 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated last year
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆12Jun 19, 2023Updated 2 years ago
- Embedded algebraic number fields☆14Dec 1, 2025Updated 3 months ago
- This is a web interface for Pandoc. For converting Markdown files to HTML, PDF, EPUB, and DOCX serverside.☆13Oct 3, 2017Updated 8 years ago
- Leaff is a diff tool for Lean environments☆25Jan 18, 2025Updated last year
- A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi,@pi8027]☆25Mar 3, 2026Updated 2 weeks ago
- New file format for Anki with improved review intervals. Pure peewee SQLite database, no zipfile, but media enabled. Available to work wi…☆14Jul 29, 2022Updated 3 years ago
- The FOSS4G Europe 2024 conference took place 1-7 July in the beautiful city of Tartu, Estonia.☆12Nov 19, 2024Updated last year
- Código de mi sesión "Pero… C# no es un lenguaje de programación funcional, ¿verdad?" de la dotNet Spain Conference 2016☆16Feb 25, 2016Updated 10 years ago
- Complete Weather App with Flutter☆13Jun 21, 2022Updated 3 years ago
- Integrate Spaced Repetition System into TiddlyWiki☆44Oct 11, 2024Updated last year
- Tinder clone for movies. Movies are stacked in a deck of swipebale cards. If both users swipe right it's a match and you get notified. Wo…☆15May 17, 2022Updated 3 years ago
- A simple search engine built with Node.js!☆18Apr 5, 2015Updated 10 years ago
- Homebrew formulae for formal methods☆37Jul 28, 2025Updated 7 months ago
- Löve 2D (lua) Game Development Starter Bundle☆20Jul 24, 2016Updated 9 years ago
- A Laravel 4 package to make it easy to add social sharing buttons.☆22Jul 13, 2014Updated 11 years ago
- Rails and Ember spaced repetition system for memorizing the Ogura Hyakunin Isshu or the one hundred poets/poems used in kyogi karuta.☆15Mar 8, 2023Updated 3 years ago
- Source code for my Medium posts☆17Aug 10, 2022Updated 3 years ago
- ☆15Sep 8, 2020Updated 5 years ago
- A simple pyaudio microphone interface☆11Jul 27, 2018Updated 7 years ago
- Implements SuperMemo-2, a spaced repetition algorithm that optimizes learning based on assigning difficulty levels to paired associates.☆22Jan 19, 2016Updated 10 years ago
- A simple tool to extract GTFS feed from OpenStreetMap.☆13Aug 13, 2019Updated 6 years ago
- Aglona Reader for .NET - A program for reading, creating and editing parallel books (books in two languages) in the original ParallelBook…☆28Feb 19, 2022Updated 4 years ago
- Ladakh☆11Jan 27, 2023Updated 3 years ago
- ☆13Nov 10, 2017Updated 8 years ago
- Simple QUIC/Http3 implementation based on goole Cronet☆10Jan 18, 2021Updated 5 years ago
- Support for the Ink programming language in Visual Studio Code☆10Sep 2, 2020Updated 5 years ago
- ☆13Oct 14, 2018Updated 7 years ago
- A simple Japanese-kanji-reading-aware fuzzy search in JavaScript☆12Jun 19, 2016Updated 9 years ago
- More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage☆31Oct 13, 2023Updated 2 years ago
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆31Jan 17, 2022Updated 4 years ago
- ☆11Dec 7, 2016Updated 9 years ago
- An abstract grid class for Lua 📔☆11Nov 27, 2020Updated 5 years ago
- Using the UIMotionEffects to create dynamic gradient effects for Headings☆11Apr 8, 2019Updated 6 years ago
- @mundolinuxbot twitter bot☆15Jul 3, 2022Updated 3 years ago
- ChatEngine Plugin for WebRTC Video Chat in a Chat App. Demo:☆12Oct 19, 2018Updated 7 years ago
- tool for extracting the paths of files included in xcode project targets☆18May 26, 2016Updated 9 years ago