pabloariasal / protofmtLinks
Formatter for Protocol Buffer files
☆29Updated 3 years ago
Alternatives and similar repositories for protofmt
Users that are interested in protofmt are comparing it to the libraries listed below
Sorting:
- A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW☆16Updated last month
 - Erlang BEAM emulator in Haskell☆48Updated 11 years ago
 - Your happy place for learning APL☆15Updated 2 years ago
 - Test suite for implementations of Featherweight Generic Go☆35Updated 5 years ago
 - Conflict is a small esoteric language giving semantics to git merge conflicts☆14Updated 5 years ago
 - Rust implementation of Ray Tracing in One Weekend☆12Updated 5 years ago
 - Haskell implementation of a Ringbuffer inspired by the "Disruptor Pattern"☆26Updated 10 years ago
 - Take notes from you terminal.☆14Updated 3 years ago
 - Q line editor and full-screen interface editor☆11Updated 4 years ago
 - ✂️ Hakyll shortcut-links in markdown files☆11Updated 3 weeks ago
 - Liquid Haskell: How to turn Haskell into a Theorem Prover☆13Updated 8 years ago
 - LibSSH2 FFI bindings for Haskell☆26Updated 7 months ago
 - A Haskell ADL to generate terraform files.☆17Updated 5 years ago
 - Haskell parser and printer for the TOML 1.0.0 file format☆29Updated last month
 - Work in progress pure python dhall interpreter☆27Updated 6 years ago
 - Dynamically-typed Haskell expressions involving applications and variables.☆22Updated 9 months ago
 - Tools for MIL, a Monadic Intermediate Language☆22Updated last week
 - Mini-game built on a functional style☆13Updated 3 years ago
 - Clipboard synchronization tool☆12Updated 2 months ago
 - Easily time one or more commands with one or more executables and show tabular results☆25Updated 5 months ago
 - Wrap up Haskell tools☆15Updated 4 years ago
 - Lua parser and pretty-printer☆15Updated last year
 - ☆37Updated last year
 - Shell.☆14Updated 8 years ago
 - A tiny statically typed programming language☆18Updated 11 years ago
 - ☆35Updated 6 years ago
 - LaTeX sources for the Habit Programming Language Report☆24Updated 7 years ago
 - Create and animate sprites easily with sdl2 (Haskell)☆24Updated 7 years ago
 - Polymorphic guarded λ-calculus☆20Updated 3 months ago
 - Common lower-level functions needed by various streaming data libraries☆36Updated last week