Alternatives and similar repositories for zettel:

Users that are interested in zettel are comparing it to the libraries listed below

• tfausak / haskell-knowledge-base
  A knowledge map about Haskell powered by Obsidian.
  ☆16Updated 2 years ago
• disconcision / spyshare
  a tiny tool for visualising substructual sharing in data structures 🕵️‍♀️
  ☆11Updated 5 years ago
• NorfairKing / autorecorder
  An automatic declarative ASCIInema recorder
  ☆42Updated last year
• NorfairKing / bevel
  ☆38Updated 2 months ago
• jgm / filestore
  A versioning file store backed by git, darcs, or mercurial
  ☆33Updated 2 months ago
• isovector / dynahaskell
  the dynabook but for haskell
  ☆23Updated 5 years ago
• obsidiansystems / gargoyle
  A framework for managing daemons from Haskell and libraries for use with postgresql and nix
  ☆19Updated 3 weeks ago
• mcneissue / purescript-snap
  An approach to user interfaces based in denotational design.
  ☆26Updated 2 years ago
• kowainik / hintman
  🔫 GitHub application to suggest hints
  ☆26Updated 4 years ago
• typesanitizer / edit
  Edit is a monad for rewriting things.
  ☆23Updated 4 years ago
• tfausak / purple-yolk
  A Haskell IDE for Visual Studio Code.
  ☆26Updated last week
• NorfairKing / cursor
  Cursor data and manipulation
  ☆21Updated last year
• ollef / dependent-hashmap
  Dependent hash maps
  ☆14Updated 8 months ago
• dnlkrgr / hsreduce
  Minimizing Haskell programs for easier debugging of GHC compiler crashes
  ☆22Updated 3 years ago
• grin-compiler / ext-stg-interpreter-presentation-demos
  ☆16Updated 3 years ago
• jgm / doclayout
  A prettyprinting library designed for laying out plain text documents
  ☆23Updated 5 months ago
• typeclasses / loc
  Types representing line and column positions and ranges in text files
  ☆11Updated last year
• LightAndLight / meta-lambda
  Lambda Calculus with quote and unquote
  ☆19Updated 4 years ago
• quchen / show-prettyprint
  Robust prettyprinter for output of auto-generated Show instances
  ☆17Updated 5 years ago
• TheMatten / hask
  Funny little Haskell impl
  ☆18Updated 4 years ago
• isovector / containers-good-graph
  It's Data.Graph, but it doesn't suck!
  ☆16Updated 3 years ago
• msp-strath / Mary
  Mary is the successor of Marx, a content delivery and assessment engine based on markdown and git
  ☆17Updated last year
• liamoc / wizards
  High level, generic library for interrogative user interfaces in Haskell
  ☆41Updated 3 years ago
• ziman / idris2-mlf
  Malfunction backend for Idris 2
  ☆12Updated 3 years ago
• Gabriella439 / political-notes
  ☆12Updated 2 years ago
• ice1000 / agda-mode
  Accessing Agda's interaction mode via command line & external tactic for Agda.
  ☆26Updated 4 years ago
• cedille / cedille-cast
  Source files used for the Cedille Cast videos
  ☆12Updated 4 years ago
• ekmett / perhaps
  A monad, perhaps.
  ☆32Updated 5 years ago
• thma / srv
  srv is a tiny web server for local deployments
  ☆9Updated 2 weeks ago
• gergoerdi / universe-of-syntax
  A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with al…
  ☆16Updated 7 years ago