pabloariasal / protofmtLinks
Formatter for Protocol Buffer files
☆28Updated 2 years ago
Alternatives and similar repositories for protofmt
Users that are interested in protofmt are comparing it to the libraries listed below
Sorting:
- Wrap up Haskell tools☆15Updated 4 years ago
- A Haskell IDE for Visual Studio Code.☆26Updated 2 months ago
- Tools for MIL, a Monadic Intermediate Language☆21Updated 8 months ago
- Dynamically-typed Haskell expressions involving applications and variables.☆22Updated 4 months ago
- Backtracking monad in Haskell☆14Updated 3 years ago
- A compiler for a little statically-typed language implemented in Haskell.☆13Updated 6 years ago
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆13Updated 5 years ago
- Dependent hash maps☆14Updated 2 months ago
- Project Z, an initiative to build a Haskell engineering eco-system.☆25Updated 7 months ago
- A Haskell ADL to generate terraform files.☆17Updated 4 years ago
- open union and open product types in Haskell☆32Updated 4 years ago
- The Codebase UI that ships with UCM☆16Updated last week
- A Haskell monad transformer library for data validation☆36Updated last year
- A simple example of integrating TypeScript and Haskell.☆13Updated 3 years ago
- Demystifying the magic of supertactics☆13Updated 3 years ago
- Robust prettyprinter for output of auto-generated Show instances☆17Updated 5 years ago
- URI manipulation facilities☆25Updated 3 months ago
- Shell.☆14Updated 8 years ago
- Print all the ANSI console colors for your terminal☆11Updated 5 years ago
- Implementation of semver and NPM-style semantic version ranges in Haskell☆12Updated 5 years ago
- Clipboard synchronization tool☆12Updated last week
- A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW☆16Updated 3 months ago
- A maintained fork of https://gitlab.com/nightkr/Sbtix☆12Updated 4 months ago
- Simple, elegant, profunctorial, applicative validation for product types!☆19Updated 3 years ago
- Haskell library for glob matching☆25Updated 3 years ago
- https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/☆27Updated last year
- ☆16Updated 5 years ago
- Bit-level codec library☆17Updated 2 years ago
- Mini-game built on a functional style☆12Updated 2 years ago
- 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