pabloariasal / protofmt
Formatter for Protocol Buffer files
☆28Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for protofmt
- Clipboard synchronization tool☆12Updated last year
- The Codebase UI that ships with UCM☆14Updated last week
- Modeling DNS with Alloy☆37Updated 2 years ago
- SICP in haskell, both exercises and sample codes.☆10Updated 8 years ago
- The symbolic links manager for your configuration files☆30Updated last week
- An optimizing Brainfuck interpreter.☆13Updated 5 years ago
- A Haskell IDE for Visual Studio Code.☆26Updated last month
- a fork of https://gitlab.com/nightkr/Sbtix☆12Updated last year
- Tools for MIL, a Monadic Intermediate Language☆21Updated 2 months ago
- A compiler for a little statically-typed language implemented in Haskell.☆13Updated 5 years ago
- Modern HTTP mock server for your daily project based on Dhall configuration☆21Updated 4 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
- Beating haskell with C☆11Updated 5 years ago
- Dynamically-typed Haskell expressions involving applications and variables.☆22Updated 9 months ago
- Print all the ANSI console colors for your terminal☆11Updated 5 years ago
- ✂️ Hakyll shortcut-links in markdown files☆11Updated 2 years ago
- An llvm pretty printer inspired by the haskell llvm binding☆28Updated last month
- Infuse nim into xv6 till it replaces all the "C"☆13Updated 8 years ago
- ☆15Updated 8 months ago
- the dynabook but for haskell☆23Updated 5 years ago
- Use network sockets together with the Haskell pipes library.☆24Updated 2 years ago
- Rust implementation of Ray Tracing in One Weekend☆12Updated 4 years ago
- ☆20Updated 5 years ago
- Wrap up Haskell tools☆15Updated 3 years ago
- A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW☆15Updated 2 months ago
- A simple example of integrating TypeScript and Haskell.☆13Updated 3 years ago
- Strip version restrictions from build dependencies in Cabal files.☆10Updated last year
- An experimental language server for SomewhatML☆24Updated last year
- Cursor data and manipulation☆21Updated 11 months ago
- Some experiments are more experimental than others.☆26Updated 8 months ago