📝 A easy and friendly markup language for documentation and academic purposes!
☆16Jun 15, 2026Updated 4 months ago
Alternatives and similar repositories for markers
Users that are interested in markers are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Jan 5, 2024Updated 2 years ago
- Limos is a Telegram Bot designed for my university restaurant. The bot provides users with the daily menu and the restaurant's operating …☆14Aug 22, 2024Updated 2 years ago
- cool language☆36Apr 24, 2026Updated 6 months ago
- Implementação do Pattern Arquitetural Pub/Sub em TypeScript para o Código Fonte TV☆11Aug 7, 2024Updated 2 years ago
- Chip 8 emulator written in Rust 🕹️☆11Feb 6, 2024Updated 2 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.
- theme inspired by transfem emo aesthetics - special for cat girls 💜😺☆11Sep 29, 2026Updated last month
- Real-time speech-to-text + translation for live events. International speakers talk into their mic; translated subtitles appear fullscree…☆30Aug 29, 2026Updated 2 months ago
- JavaScript Playground similar to runkit but on top of MDX and local first☆13Oct 9, 2020Updated 6 years ago
- A curated list of resources on the science of learning anything☆35Dec 17, 2024Updated last year
- Typed pure FP where data is syntax sugar for functions☆11Nov 6, 2025Updated 11 months ago
- Category Theory & Cobordism Categories in Lean 4☆16Jun 27, 2024Updated 2 years ago
- A RFC Compliant Verified DNS server☆13Jul 17, 2026Updated 3 months ago
- A democratic bible☆16Jul 5, 2024Updated 2 years ago
- Personal configuration files. Currently mirrored from a private repository.☆14Oct 22, 2026Updated last week
- 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.
- unloading modules with ocaml native☆16Dec 13, 2020Updated 5 years ago
- CLI framework for Elixir, with magic!☆42Aug 4, 2025Updated last year
- ☆10Oct 13, 2025Updated last year
- A lossless data compression program in Haskell using Huffman codes☆10Jun 26, 2024Updated 2 years ago
- 🧪 | Lisp with REPL and macros which will compile itself☆14Dec 4, 2024Updated last year
- Idris Version Manager☆17Feb 23, 2025Updated last year
- A simple API created with json-server using json generated from pokeapi☆12Dec 12, 2022Updated 3 years ago
- An implementation of viewstampeed replication protocol in Rust☆10Aug 15, 2026Updated 2 months ago
- ☆10Jan 9, 2025Updated last year
- 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.
- Native, high-performance, cross-platform desktop apps - built with Reason!☆14Sep 8, 2025Updated last year
- Effect monads with specifications (DIjkstra Monads) in Lean 4☆12Feb 18, 2024Updated 2 years ago
- A custom directive that overrides the default material paginator for Angular☆10Nov 11, 2021Updated 4 years ago
- A weather app, made with Sass, Js and Node Js.☆13May 11, 2021Updated 5 years ago
- A Lean 4 library for iterators.☆15Dec 10, 2023Updated 2 years ago
- A VSCode Theme Inspired bettween Omni and Dracula Theme Colors.☆13Sep 24, 2022Updated 4 years ago
- Verus-verified implementation of Ironfleet Sharded Hash Table key-value store☆12Sep 22, 2026Updated last month
- a small one-file lisp implemented in kind2, intentionally incomplete☆11Feb 2, 2023Updated 3 years ago
- ☆12Oct 24, 2026Updated last week
- 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.
- AVR Simulator to run Atmel code on desktop pc☆14Oct 2, 2017Updated 9 years ago
- Libgit2 bindings for Idris 2☆13Sep 10, 2020Updated 6 years ago
- ⸨ Tumblr ⸩ NPF images fix (v3.0)☆10Feb 22, 2026Updated 8 months ago
- Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications☆19Nov 26, 2024Updated last year
- sched_ext schedulers and tools☆12Oct 2, 2026Updated 3 weeks ago
- wecs (wckd-ecs) is a simple ECS library suitable for general use.☆10Sep 12, 2024Updated 2 years ago
- ☆17Jan 6, 2026Updated 9 months ago