Alternatives and similar repositories for protofmt:

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

• snoyberg / haskup
  Wrap up Haskell tools
  ☆15Updated 3 years ago
• rudymatela / express
  Dynamically-typed Haskell expressions involving applications and variables.
  ☆22Updated 2 months ago
• tfausak / purple-yolk
  A Haskell IDE for Visual Studio Code.
  ☆26Updated 3 weeks ago
• ajeetdsouza / brainfuck
  An optimizing Brainfuck interpreter.
  ☆13Updated 5 years ago
• TotallyNotChase / valida
  Simple, elegant, profunctorial, applicative validation for product types!
  ☆19Updated 3 years ago
• pepeiborra / gc-benchmarks
  Benchmarks using the non-moving incremental GHC garbage collector
  ☆22Updated 5 years ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• begriffs / wc
  Beating haskell with C
  ☆11Updated 5 years ago
• egison / backtracking
  Backtracking monad in Haskell
  ☆14Updated 3 years ago
• xnning / Row-and-Bounded-via-Disjoint
  Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.
  ☆13Updated 4 years ago
• isovector / latex-live-snippets
  deprecated by `design-tools`
  ☆17Updated 6 years ago
• ollef / dependent-hashmap
  Dependent hash maps
  ☆14Updated 2 weeks ago
• SamuelSchlesinger / hs-ts
  A simple example of integrating TypeScript and Haskell.
  ☆13Updated 3 years ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆20Updated 5 years ago
• habit-lang / mil-tools
  Tools for MIL, a Monadic Intermediate Language
  ☆21Updated 7 months ago
• Hirevo / koak
  A compiler for a little statically-typed language implemented in Haskell.
  ☆13Updated 6 years ago
• inanna-malick / mononoke
  Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …
  ☆3Updated 3 years ago
• cachix / gptcomment
  ☆16Updated last year
• k0001 / pipes-network
  Use network sockets together with the Haskell pipes library.
  ☆25Updated 3 years ago
• iand675 / hs-brotli
  ☆20Updated 5 years ago
• e-wrks / edh
  Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++
  ☆28Updated 10 months ago
• markhibberd / xsh
  Shell.
  ☆14Updated 7 years ago
• unisonweb / unison-local-ui
  The Codebase UI that ships with UCM
  ☆16Updated 2 weeks ago
• fpco / streaming-commons
  Common lower-level functions needed by various streaming data libraries
  ☆36Updated 2 months ago
• GaloisInc / llvm-pretty
  An llvm pretty printer inspired by the haskell llvm binding
  ☆29Updated this week
• arcfide / Haven
  Your happy place for learning APL
  ☆16Updated 2 years ago
• natural-transformation / sbtix
  A maintained fork of https://gitlab.com/nightkr/Sbtix
  ☆12Updated 2 months ago
• travisbrown / orcrs
  An ORC reader for Rust
  ☆12Updated 2 years ago
• pa-ba / AsyncRattus
  ☆10Updated 2 weeks ago
• awakesecurity / language-ninja
  A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.
  ☆35Updated 7 years ago