Parser for Emacs org-mode files
☆37Dec 12, 2025Updated 2 months ago
Alternatives and similar repositories for org-mode
Users that are interested in org-mode are comparing it to the libraries listed below
Sorting:
- Libraries and tool for parsing Org Mode documents with customizable exporters. 🦄☆24Dec 12, 2025Updated 2 months ago
- ☆12Dec 13, 2025Updated 2 months ago
- Experimental normalisation via scheme☆12Jul 25, 2021Updated 4 years ago
- 📖 view and generate static websites from your Org files (WIP).☆20Feb 10, 2024Updated 2 years ago
- A Haskell library: A fancy logging effect for Polysemy using the formatting library to format log messages.☆12Jul 16, 2021Updated 4 years ago
- Playing with incremental parsing and later compiler passes☆12Dec 12, 2018Updated 7 years ago
- implementation deriving for idris2☆12Feb 21, 2021Updated 5 years ago
- ☆18Mar 24, 2021Updated 4 years ago
- Tutorial for essence-of-live-coding☆17Apr 12, 2023Updated 2 years ago
- 📚 A library for managing libraries and resolving unit paths☆17Nov 21, 2025Updated 3 months ago
- A TOML parser for Idris 2☆17Jun 27, 2024Updated last year
- Fast, experimental effect handlers with delimited control☆21Jan 1, 2024Updated 2 years ago
- Idris 2 bindings to various C libraries☆15Jun 28, 2021Updated 4 years ago
- Tactic Metaprogramming in Haskell☆56Jul 7, 2019Updated 6 years ago
- A Haskell project template that uses Nix and comes with cabal-install, ghcid, ormolu, haskell-language-server and more.☆107Jun 5, 2023Updated 2 years ago
- Sample site for the Rib static site generator☆24Mar 29, 2021Updated 4 years ago
- Write your GDB scripts in Haskell!☆27Dec 13, 2021Updated 4 years ago
- ☆37Jun 20, 2021Updated 4 years ago
- Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).☆35Jan 7, 2026Updated last month
- GNOME JavaScript bindings for PureScript☆21Jan 15, 2024Updated 2 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Feb 25, 2020Updated 6 years ago
- interprets lambda calculus☆10Dec 1, 2025Updated 3 months ago
- ☆13Jan 7, 2026Updated last month
- Lean 4 library of tools for parsing and compiling syntax and parser definitions.☆16Dec 10, 2023Updated 2 years ago
- Clipboard synchronization tool☆13Jan 30, 2026Updated last month
- Use the same module system that leverages NixOS to configure your emacs customization☆11Aug 6, 2022Updated 3 years ago
- Yet another Scheme interpreter.☆11Sep 17, 2022Updated 3 years ago
- Existential witnesses, singletons, and classes for operations on GHC TypeLits☆16Jul 25, 2024Updated last year
- TypeScript client for Idris IDE-mode.☆13Nov 6, 2022Updated 3 years ago
- Build a simple Halogen app using Nix☆25Jan 5, 2023Updated 3 years ago
- ☆16Feb 18, 2025Updated last year
- Category Theory in Programming☆13Jan 22, 2026Updated last month
- Types for ldtk☆16Apr 13, 2024Updated last year
- Implementations of various toy programming languages☆12Apr 19, 2018Updated 7 years ago
- Effectful Streaming for Idris☆15Dec 13, 2020Updated 5 years ago
- Functor-parametric containers☆20Jan 19, 2025Updated last year
- A template for idris projects☆11Jun 27, 2021Updated 4 years ago
- Simple example app using Gatsby.js with Purescript☆12Jan 6, 2023Updated 3 years ago
- Formalising Turing Machines In Coq (bachelor's thesis)☆12Jul 5, 2023Updated 2 years ago