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:
- Shell.☆14Updated 8 years ago
- Your happy place for learning APL☆16Updated 2 years ago
- Modeling DNS with Alloy☆37Updated 3 years ago
- Wrap up Haskell tools☆15Updated 4 years ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- The Codebase UI that ships with UCM☆16Updated 3 weeks ago
- Haskell implementation of a Ringbuffer inspired by the "Disruptor Pattern"☆26Updated 10 years ago
- Conflict is a small esoteric language giving semantics to git merge conflicts☆14Updated 5 years ago
- Beating haskell with C☆11Updated 5 years ago
- A compiler for a little statically-typed language implemented in Haskell.☆13Updated 6 years ago
- Tools for MIL, a Monadic Intermediate Language☆21Updated 10 months ago
- Q line editor and full-screen interface editor☆11Updated 4 years ago
- Erlang BEAM emulator in Haskell☆48Updated 11 years ago
- Malfunction backend for Idris 2☆12Updated 3 years ago
- Project Z, an initiative to build a Haskell engineering eco-system.☆25Updated 8 months ago
- Rust implementation of Ray Tracing in One Weekend☆12Updated 5 years ago
- Print all the ANSI console colors for your terminal☆11Updated 5 years ago
- Backtracking monad in Haskell☆14Updated 3 years ago
- a self-hosting lambda calculus compiler☆36Updated 3 months ago
- A syntax checker for TOML files☆28Updated 5 years ago
- Language Server Protocol for Zig☆27Updated 5 years ago
- Dynamically-typed Haskell expressions involving applications and variables.☆22Updated 5 months ago
- A simple example of integrating TypeScript and Haskell.☆13Updated 3 years ago
- Dependent hash maps☆14Updated 3 months ago
- An optimizing Brainfuck interpreter.☆14Updated 6 years ago
- My PhD Thesis☆14Updated 3 years ago
- deprecated by `design-tools`☆17Updated 6 years ago
- Simple, elegant, profunctorial, applicative validation for product types!☆19Updated 3 years ago
- Brainfuck with Actors☆36Updated 6 years ago
- Relational Algebra at your fingertips☆62Updated 10 years ago