mizunashi-mana / proglang-notesLinks
Notes of Programming Languages
☆11Updated 11 months ago
Alternatives and similar repositories for proglang-notes
Users that are interested in proglang-notes are comparing it to the libraries listed below
Sorting:
- Full implementation of F-ing Modules, with the power of sequent calculus☆20Updated 4 years ago
- Multiparty Session Types in OCaml☆59Updated last year
- PWV Functional Language☆15Updated 2 years ago
- [WIP] A functional programming language based on Coeffect Calculus and Graded Modal Type Theory.☆13Updated 4 years ago
- Unicode text segmentation for OCaml☆24Updated last month
- HoTT in Japanese☆35Updated 2 years ago
- A new Unicode library for OCaml☆34Updated 11 years ago
- ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression☆38Updated 5 months ago
- Code using GADT☆40Updated 4 years ago
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 6 years ago
- An implementation of binary session types in OCaml☆38Updated 6 years ago
- Unicode text normalization for OCaml☆23Updated last month
- Implementations of F-ing modules and 1ML, as well as bibliography of (mainly ML-style) modules☆31Updated 2 years ago
- A Certified Interpreter for ML with Structural Polymorphism☆45Updated 6 months ago
- Interpreter of the ITGL with dynamic type inference☆21Updated 8 months ago
- Example use of GitHub Actions with OCaml☆36Updated last week
- Yet another tiny tiny self-hosted OCaml compiler with an also tiny standard library.☆57Updated 6 years ago
- A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.☆29Updated last week
- Backport new syntax to older compilers☆14Updated 5 years ago
- flexible 'let rec' generation for MetaOCaml☆26Updated 2 months ago
- a solver for opam packages using 0install's solver engine☆22Updated 3 months ago
- ☆12Updated 3 years ago
- multi-shot continuations in OCaml☆49Updated 3 weeks ago
- OCaml bindings to PCRE (Perl Compatibility Regular Expressions)☆35Updated 2 weeks ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 4 years ago
- [WIP] Faster Implementation of Dialyzer☆56Updated last year
- Template Haskell Implementation of Egison Pattern Matching☆33Updated 5 years ago
- ocamltter is a Twitter client in OCaml. This client run on the OCaml toplevel interpreter. Then each operation on the client is just a OC…☆74Updated 7 years ago
- Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]☆14Updated this week
- Another version of ProofGeneral character, じぇねらるたん☆23Updated 9 years ago