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 week
- Your happy place for learning APL☆15Updated 2 years ago
- ✂️ Hakyll shortcut-links in markdown files☆11Updated 2 months ago
- Erlang BEAM emulator in Haskell☆48Updated 11 years ago
- Liquid Haskell: How to turn Haskell into a Theorem Prover☆13Updated 9 years ago
- Conflict is a small esoteric language giving semantics to git merge conflicts☆14Updated 5 years ago
- Simple, elegant, profunctorial, applicative validation for product types!☆19Updated 4 years ago
- "DeBruijn to SKI" Untyped language that compiles to Unlambda☆10Updated 5 years ago
- Rust implementation of Ray Tracing in One Weekend☆12Updated 5 years ago
- Take notes from you terminal.☆14Updated 3 years ago
- Haskell implementation of a Ringbuffer inspired by the "Disruptor Pattern"☆26Updated 10 years ago
- Modeling DNS with Alloy☆37Updated 4 years ago
- library (and utility) for tracking filesystem changes☆18Updated 4 years ago
- A Haskell ADL to generate terraform files.☆17Updated 5 years ago
- Unison base libraries, published using V1 codebase format☆24Updated 4 years ago
- Lua parser and pretty-printer☆15Updated last year
- Common lower-level functions needed by various streaming data libraries☆36Updated last month
- LaTeX sources for the Habit Programming Language Report☆24Updated 7 years ago
- Polymorphic guarded λ-calculus☆23Updated 4 months ago
- Haskell parser and printer for the TOML 1.0.0 file format☆29Updated 3 months ago
- A tiny statically typed programming language☆18Updated 11 years ago
- Easily time one or more commands with one or more executables and show tabular results☆25Updated 7 months ago
- Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)☆60Updated 5 years ago
- A syntax checker for TOML files☆28Updated 6 years ago
- deprecated by `design-tools`☆17Updated 7 years ago
- Simple, IO-based Haskell library for Erlang-inspired thread supervisors☆29Updated 3 years ago
- Dynamically-typed Haskell expressions involving applications and variables.☆22Updated 10 months ago
- Dhall support for the DOT language for graphviz☆38Updated 3 years ago
- Class of data structures that can be unfolded.☆22Updated 2 years ago
- A JSON schema language☆28Updated 8 months ago