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 months ago
• arcfide / Haven
  Your happy place for learning APL
  ☆16Updated 2 years ago
• GaloisInc / llvm-pretty
  An llvm pretty printer inspired by the haskell llvm binding
  ☆30Updated last week
• TotallyNotChase / valida
  Simple, elegant, profunctorial, applicative validation for product types!
  ☆19Updated 3 years ago
• kolmodin / herl
  Erlang BEAM emulator in Haskell
  ☆48Updated 11 years ago
• simonmichael / quickbench
  Easily time one or more commands with one or more executables and show tabular results
  ☆25Updated 3 months ago
• glguy / toml-parser
  Haskell parser and printer for the TOML 1.0.0 file format
  ☆26Updated 3 months ago
• lorin / dns-alloy
  Modeling DNS with Alloy
  ☆37Updated 3 years ago
• nikivazou / thesis
  Liquid Haskell: How to turn Haskell into a Theorem Prover
  ☆13Updated 8 years ago
• MateVM / MateVM
  A Java JIT compiler written in Haskell
  ☆72Updated 11 years ago
• rudymatela / express
  Dynamically-typed Haskell expressions involving applications and variables.
  ☆22Updated 6 months ago
• kowainik / hakyll-shortcut-links
  ✂️ Hakyll shortcut-links in markdown files
  ☆11Updated 3 years ago
• ncfavier / glam
  Polymorphic guarded λ-calculus
  ☆20Updated 3 weeks ago
• basile-henry / conflict
  Conflict is a small esoteric language giving semantics to git merge conflicts
  ☆14Updated 5 years ago
• sjoerdvisscher / unfoldable
  Class of data structures that can be unfolded.
  ☆22Updated last year
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• fpco / streaming-commons
  Common lower-level functions needed by various streaming data libraries
  ☆36Updated 6 months ago
• evuez / slate
  Take notes from you terminal.
  ☆14Updated 3 years ago
• Gabriella439 / dhall-dot
  Dhall support for the DOT language for graphviz
  ☆37Updated 2 years ago
• vmchale / tomlcheck
  A syntax checker for TOML files
  ☆28Updated 5 years ago
• browserdotsys / vecchio
  Rust implementation of Ray Tracing in One Weekend
  ☆12Updated 5 years ago
• juspay / medea
  A JSON schema language
  ☆27Updated 3 months ago
• Shimuuar / inline-python
  Embedding of python interpreter into haskell programs
  ☆13Updated 3 months ago
• 5outh / Molecule
  A tiny statically typed programming language
  ☆18Updated 11 years ago
• jarcane / MicroMini
  A simple 8-bit virtual stack machine
  ☆16Updated 10 years ago
• tfausak / monadoc-5
  🔖 Better Haskell documentation.
  ☆17Updated 4 years ago
• wenkokke / featherweight-generic-go-generator
  Test suite for implementations of Featherweight Generic Go
  ☆34Updated 4 years ago
• nikivazou / proof-combinators
  Proof combinators used in Liquid Haskell for theorem proving
  ☆12Updated 7 years ago
• portnov / libssh2-hs
  LibSSH2 FFI bindings for Haskell
  ☆26Updated 4 months ago
• helix-collective / terraform-hs
  A Haskell ADL to generate terraform files.
  ☆17Updated 4 years ago