pabloariasal / protofmtView external linksLinks
Formatter for Protocol Buffer files
☆29Jul 14, 2022Updated 3 years ago
Alternatives and similar repositories for protofmt
Users that are interested in protofmt are comparing it to the libraries listed below
Sorting:
- Formal specification of the Haskell Language Report☆30Jan 25, 2026Updated 2 weeks ago
- Automation for releasing haskell packages☆19May 22, 2023Updated 2 years ago
- An efficient finite map from (byte)strings to values.☆20May 1, 2025Updated 9 months ago
- ☆14Updated this week
- ☆45Jun 11, 2023Updated 2 years ago
- Abstract, inspectable JSON representation of Haskell objects☆26Jul 4, 2022Updated 3 years ago
- A helpful AI assistant for Mercury engineers☆21Jan 9, 2026Updated last month
- Lean 4 library of tools for parsing and compiling syntax and parser definitions.☆16Dec 10, 2023Updated 2 years ago
- GHC plugin for open telemetry☆27Jun 5, 2025Updated 8 months ago
- Companion repository for 'No More Orphans'☆14Oct 13, 2022Updated 3 years ago
- Using cabal-install as SAT solver☆13Aug 29, 2023Updated 2 years ago
- Manage CloudFormation Stacks through specifications☆13Dec 15, 2025Updated last month
- A template for idris projects☆11Jun 27, 2021Updated 4 years ago
- Visualize fine-grained timing data from ghc verbose logs☆13Jan 12, 2022Updated 4 years ago
- Calculating and filling the Canadian income tax forms☆16Updated this week
- Prettyprinting transformers for rainbow parens, precedence, etc.☆16Feb 27, 2022Updated 3 years ago
- ☆15Sep 28, 2022Updated 3 years ago
- Audio encoding authentication and validation library for verifying audio as being from a trusted source☆14Jan 6, 2024Updated 2 years ago
- LaunchDarkly Server-Side SDK for Haskell☆15Jan 21, 2026Updated 3 weeks ago
- An Android app to browse GitHub repositories☆15Nov 17, 2025Updated 2 months ago
- highlevel bindings for gnupg made easy in haskell☆12Sep 25, 2022Updated 3 years ago
- A generic 2D cellular automaton simulator☆25Mar 15, 2021Updated 4 years ago
- Haskell Sendgrid v3 API Library☆15May 2, 2024Updated last year
- Reads typeclass for Scala☆14Mar 13, 2017Updated 8 years ago
- Haskell counters that can be safely incremented from multiple threads☆19Oct 7, 2025Updated 4 months ago
- GHC plugin to desugar ! into do-notation☆38Feb 4, 2026Updated last week
- ☆36Jul 16, 2023Updated 2 years ago
- Smash products, Wedge products, and other Pointed stuff☆35Apr 27, 2022Updated 3 years ago
- Provide names for numbers in English☆22Jun 6, 2019Updated 6 years ago
- Haskell representation and serialization of BSON documents (version 1.0) as defined at bsonspec.org☆18May 10, 2024Updated last year
- A simple web server for serving directories.☆16Dec 27, 2024Updated last year
- Funny little Haskell impl☆18Oct 28, 2020Updated 5 years ago
- Haskell implementation of Nanoid, secure URL-friendly unique ID generator.☆20Jan 14, 2018Updated 8 years ago
- ☆18Mar 24, 2021Updated 4 years ago
- Stargaze is a CLI tool to help you manage your starred projects on GitHub.☆19Jul 21, 2022Updated 3 years ago
- Haskell wrapper for iced☆36Jun 2, 2025Updated 8 months ago
- type-classes for structural manipulation of algebraic data types☆17Oct 7, 2018Updated 7 years ago
- ☆22Jan 12, 2026Updated last month
- Require that callers propagate `HasCallStack` constraints☆21Dec 18, 2024Updated last year