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:
- Erlang BEAM emulator in Haskell☆48Updated 11 years ago
- Polymorphic guarded λ-calculus☆23Updated 5 months ago
- Your happy place for learning APL☆15Updated 3 years ago
- A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW☆16Updated this week
- Simple, elegant, profunctorial, applicative validation for product types!☆19Updated 4 years ago
- Rust implementation of Ray Tracing in One Weekend☆12Updated 5 years ago
- Work in progress pure python dhall interpreter☆27Updated 7 years ago
- Modeling DNS with Alloy☆37Updated 4 years ago
- ☆37Updated 2 years ago
- A Haskell ADL to generate terraform files.☆17Updated 5 years ago
- Mini-game built on a functional style☆13Updated 3 years ago
- Conflict is a small esoteric language giving semantics to git merge conflicts☆14Updated 5 years ago
- ☆35Updated 6 years ago
- Embedding of python interpreter into haskell programs☆14Updated 8 months ago
- Haskell implementation of a Ringbuffer inspired by the "Disruptor Pattern"☆27Updated 10 years ago
- A syntax checker for TOML files☆28Updated 6 years ago
- ✂️ Hakyll shortcut-links in markdown files☆11Updated 3 months ago
- An llvm pretty printer inspired by the haskell llvm binding☆30Updated last week
- Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)☆60Updated 5 years ago
- Use network sockets together with the Haskell pipes library.☆25Updated 3 years ago
- LaTeX sources for the Habit Programming Language Report☆24Updated 7 years ago
- deprecated by `design-tools`☆17Updated 7 years ago
- Dhall support for the DOT language for graphviz☆38Updated 3 years ago
- A tiny statically typed programming language☆18Updated 11 years ago
- A helper to save me some keystrokes from nix-prefetch-git.☆13Updated 6 years ago
- Clipboard synchronization tool☆12Updated last month
- Common lower-level functions needed by various streaming data libraries☆36Updated 2 months ago
- Sed Lisp -- a lisp interpreter in GNU sed☆55Updated 5 years ago
- A Java JIT compiler written in Haskell☆73Updated 12 years ago
- ☆37Updated 2 years ago