gfngfn / apbuf
Algebraic protocol buffers
☆13Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for apbuf
- A Tian Jiu Pai (天九牌) game server written in Sesterl & Elm☆15Updated last year
- ONE-SHOT Algebraic Effects for Ruby!☆22Updated 4 years ago
- A Formal Verification of Algorithm W☆17Updated 3 years ago
- [WIP] Faster Implementation of Dialyzer☆56Updated 7 months 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
- SATySFi parser writtern in Rust.☆14Updated 2 years ago
- A Haskell library to mock the current time. ⏰☆18Updated 6 years ago
- HoTT in Japanese☆33Updated last year
- [WIP] A functional programming language based on Coeffect Calculus and Graded Modal Type Theory.☆12Updated 3 years ago
- ☆45Updated last year
- Declarative command-line option parser☆58Updated last year
- Full implementation of F-ing Modules, with the power of sequent calculus☆20Updated 3 years ago
- Programs for checking the ρ property☆17Updated 3 years ago
- PureScriptドキュメントの日本語訳☆12Updated 5 years ago
- Verification Framework for Actor Systems on Coq☆29Updated 6 years ago
- A type safe template engine for collaborating with front end development tools☆51Updated last year
- A purely functional programming language based on higher-order polymorphic lambda calculus☆19Updated 10 months ago
- An experiment around automated theorem proving in Haskell☆11Updated last year
- Template Haskell Implementation of Egison Pattern Matching☆32Updated 4 years ago
- Publish & Subscribe☆13Updated 3 years ago
- Nazo ML - my toy programming language☆59Updated 4 years ago
- ☆11Updated 2 years ago
- haskell's tribial test code☆9Updated this week
- A functional test framework for LSP servers☆35Updated 3 years ago
- ガリグ先生 2018年度後期・数理解析・計算機数学 II (同 概論II)☆13Updated 5 years ago
- Filter with effects☆71Updated 3 months ago
- Seekable sources and efficient incremental sinks☆17Updated 7 years ago
- ATS言語に関する文書の日本語訳置き場☆21Updated 4 years ago
- [WIP] A utility library for parsing BEAM format(and Erlang External Term Format, etc) which is written in OCaml.☆16Updated 5 years ago