Alternatives and similar repositories for protofmt

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

• GaloisInc / argo
  A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW
  ☆16Updated 2 weeks ago
• kolmodin / herl
  Erlang BEAM emulator in Haskell
  ☆48Updated 11 years ago
• kim / data-ringbuffer
  Haskell implementation of a Ringbuffer inspired by the "Disruptor Pattern"
  ☆26Updated 10 years ago
• arcfide / Haven
  Your happy place for learning APL
  ☆15Updated 2 years ago
• Pedro-V / functional-asteroids
  Mini-game built on a functional style
  ☆13Updated 3 years ago
• LeslieGoldsmith / ed
  Q line editor and full-screen interface editor
  ☆11Updated 4 years ago
• kowainik / hakyll-shortcut-links
  ✂️ Hakyll shortcut-links in markdown files
  ☆11Updated last month
• TotallyNotChase / valida
  Simple, elegant, profunctorial, applicative validation for product types!
  ☆19Updated 4 years ago
• fpco / streaming-commons
  Common lower-level functions needed by various streaming data libraries
  ☆36Updated 3 weeks ago
• glguy / toml-parser
  Haskell parser and printer for the TOML 1.0.0 file format
  ☆29Updated 2 months ago
• wenkokke / featherweight-generic-go-generator
  Test suite for implementations of Featherweight Generic Go
  ☆35Updated 5 years ago
• helix-collective / terraform-hs
  A Haskell ADL to generate terraform files.
  ☆17Updated 5 years ago
• nikivazou / thesis
  Liquid Haskell: How to turn Haskell into a Theorem Prover
  ☆13Updated 8 years ago
• deech / shen-rust
  ☆35Updated 6 years ago
• MateVM / MateVM
  A Java JIT compiler written in Haskell
  ☆73Updated 12 years ago
• ncfavier / glam
  Polymorphic guarded λ-calculus
  ☆22Updated 4 months ago
• 5outh / Molecule
  A tiny statically typed programming language
  ☆18Updated 11 years ago
• evuez / slate
  Take notes from you terminal.
  ☆14Updated 3 years ago
• GaloisInc / llvm-pretty
  An llvm pretty printer inspired by the haskell llvm binding
  ☆30Updated this week
• basile-henry / conflict
  Conflict is a small esoteric language giving semantics to git merge conflicts
  ☆14Updated 5 years ago
• glguy / language-lua
  Lua parser and pretty-printer
  ☆15Updated last year
• injinj / linecook
  Command line editor, C api, readline replacement
  ☆26Updated 11 months ago
• SupraSummus / dhall-python
  Work in progress pure python dhall interpreter
  ☆27Updated 6 years ago
• habit-lang / language-report
  LaTeX sources for the Habit Programming Language Report
  ☆24Updated 7 years ago
• Gabriella439 / dhall-dot
  Dhall support for the DOT language for graphviz
  ☆38Updated 3 years ago
• ckkashyap / nimxv6
  Infuse nim into xv6 till it replaces all the "C"
  ☆13Updated 9 years ago
• joelburget / ghcjs-box
  Quick start for the vagrant box I use for ghcjs / react-haskell / pigment development
  ☆11Updated 10 years ago
• markhibberd / xsh
  Shell.
  ☆14Updated 8 years ago
• leostera / hotstuff
  Composable, incremental, turnkey document compiler
  ☆22Updated 5 years ago
• sjoerdvisscher / unfoldable
  Class of data structures that can be unfolded.
  ☆22Updated 2 years ago