Spaced-repetition using Hypothes.is
☆29May 13, 2021Updated 5 years ago
Alternatives and similar repositories for srsly
Users that are interested in srsly are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- SRS with Hypothes.is☆14May 6, 2021Updated 5 years ago
- ☆15Nov 10, 2020Updated 5 years ago
- Tangle your Org files☆12Feb 5, 2022Updated 4 years ago
- A Chrome extension that helps you stay focused by blocking sites during work timers and letting you browse during break timers. Now also …☆16Nov 22, 2018Updated 7 years ago
- tracking my dotfiles☆182Dec 3, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A selection of custom themes for Drafts, VS Code, Textastic, Ulysses, Typora, and CodeRunner.☆13Jun 21, 2026Updated last week
- How I Take Notes In Org-roam (WIP)☆35Feb 9, 2022Updated 4 years ago
- A better way to read books☆26Feb 19, 2024Updated 2 years ago
- OCaml + Fly.io☆11Jun 18, 2026Updated last week
- ☆20Mar 25, 2021Updated 5 years ago
- A mathematical foundation for Smalltalk-25☆20Jun 22, 2026Updated last week
- HTML5 audio/video clipper☆12Mar 7, 2018Updated 8 years ago
- Coding with knots, Inca style☆11May 14, 2017Updated 9 years ago
- Time management system for autodidacts.☆16Feb 4, 2023Updated 3 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.
- practical projects to put in practice elixir and erlang/otp concepts☆11Dec 4, 2024Updated last year
- Embed Tweets without compromising your users’ privacy and your site’s performance.☆13Mar 19, 2024Updated 2 years ago
- Formalising Turing Machines In Coq (bachelor's thesis)☆12Jul 5, 2023Updated 2 years ago
- Helper for parsing and presenting comments from external sites☆19May 12, 2024Updated 2 years ago
- ☆11Jul 12, 2019Updated 6 years ago
- Documentation for Micro.blog.☆22Apr 11, 2023Updated 3 years ago
- An error-tolerant live programming environment (my Master's thesis)☆21Jul 25, 2022Updated 3 years ago
- Converter of logseq links to org-roam links☆31Jan 17, 2024Updated 2 years ago
- Publish a log of what you're watching (TV and Movies) to Known CMS, including a Plex webhook.☆12Jul 12, 2019Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Hugo Theme for my Braindump☆80Jan 30, 2022Updated 4 years ago
- A WordPress theme that encourages me to write more. :)☆12Feb 1, 2026Updated 4 months ago
- Desktop notifications from markdown files☆11May 5, 2021Updated 5 years ago
- Simple SRS (spaced-recognition system) mechanism and database. Scalable and zero configuration.☆14Oct 28, 2018Updated 7 years ago
- Soxin configuration☆19Jun 22, 2026Updated last week
- Graph Learning with JAX☆14Jul 11, 2022Updated 3 years ago
- Using Biopython's Bio.Entrez package to Access NCBI Entrez databases☆16Jun 26, 2014Updated 12 years ago
- This webservice will fetch data from public amazon wish lists and responds in json format☆26Sep 23, 2025Updated 9 months ago
- Highlight Butler manages highlights in my highlight library☆11Jul 6, 2021Updated 4 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Next-generation web reader☆18Oct 12, 2014Updated 11 years ago
- ☆16Nov 5, 2020Updated 5 years ago
- Open Graph plugin for WordPress☆24Jun 19, 2026Updated last week
- ☆16Mar 2, 2026Updated 3 months ago
- Replace blank WordPress post title with the date/time☆10May 12, 2018Updated 8 years ago
- A program launcher for Wayland☆17Jan 15, 2024Updated 2 years ago
- ☆14Aug 15, 2015Updated 10 years ago