gfngfn / apbuf
Algebraic protocol buffers
☆13Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for apbuf
- [WIP] Faster Implementation of Dialyzer☆56Updated 7 months ago
- ONE-SHOT Algebraic Effects for Ruby!☆22Updated 4 years ago
- A Tian Jiu Pai (天九牌) game server written in Sesterl & Elm☆15Updated last year
- Easy, Fast and Type-Safe Web Application Framework☆32Updated 4 years ago
- A Haskell library to mock the current time. ⏰☆18Updated 6 years ago
- HoTT in Japanese☆33Updated last year
- A Formal Verification of Algorithm W☆17Updated 3 years ago
- PureScriptドキュメントの日本語訳☆12Updated 5 years ago
- higher-order algebraic effects done right for Haskell☆65Updated this week
- Lenses and traversals for xml-conduit☆50Updated 5 months ago
- ☆62Updated last year
- Declarative command-line option parser☆58Updated last year
- Haskell suite for determining what 級 (level) of the 漢字検定 (national Kanji exam) a given Kanji belongs to.☆23Updated 2 years ago
- fleet-footed ByteString builder☆49Updated 3 months ago
- ☆45Updated last year
- Type inference algorithms for functional programming languages☆10Updated last year
- Filter with effects☆71Updated 3 months ago
- Haskell x Android☆24Updated 2 years ago
- A purely functional programming language based on higher-order polymorphic lambda calculus☆19Updated 9 months ago
- A type safe template engine for collaborating with front end development tools☆51Updated last year
- Minimal Haskell Compiler☆63Updated 6 years ago
- SATySFi parser writtern in Rust.☆14Updated 2 years ago
- a collection of various algorithms written using recursion schemes☆21Updated 2 years ago
- guardian - the border guardian for your Haskell monorepo package dependencies☆36Updated 2 months ago
- Verification Framework for Actor Systems on Coq☆29Updated 6 years ago
- Preservative serialisation format☆89Updated last year
- Seekable sources and efficient incremental sinks☆17Updated 7 years ago
- haskell's tribial test code☆9Updated this week
- Template Haskell Implementation of Egison Pattern Matching☆32Updated 4 years ago
- An implementation of binary session types in OCaml☆36Updated 5 years ago