mizunashi-mana / proglang-notes
Notes of Programming Languages
☆11Updated 9 months ago
Related projects: ⓘ
- Invertible syntax for OCaml☆30Updated 5 years ago
- HoTT in Japanese☆33Updated 11 months ago
- [WIP] A functional programming language based on Coeffect Calculus and Graded Modal Type Theory.☆12Updated 3 years ago
- A new Unicode library for OCaml☆36Updated 10 years ago
- ☆11Updated 2 years ago
- ☆22Updated this week
- An OpenType font format encoder & decoder written in OCaml☆17Updated 11 months ago
- The Universe Library for OCaml☆14Updated 5 years ago
- Code using GADT☆37Updated 3 years ago
- Programs for checking the ρ property☆17Updated 3 years ago
- ガリグ先生 2018年度後期・数理解析・計算機数学 II (同 概論II)☆13Updated 5 years ago
- Unicode text normalization for OCaml☆22Updated last week
- self-hosted compiler for a subset of OCaml☆50Updated 5 years ago
- A statically typed and lazy evaluated implementation of Lambda Calculus.☆21Updated 6 years ago
- Custom OPAM repository for SATySFi libraries managed by Satyrographos☆18Updated last month
- An implementation of binary session types in OCaml☆35Updated 5 years ago
- Multiparty Session Types in OCaml☆56Updated 2 weeks ago
- Haskell x Android☆24Updated 2 years ago
- Template Haskell Implementation of Egison Pattern Matching☆32Updated 4 years ago
- ML interpreter/compiler☆1Updated 4 years ago
- Unicode text segmentation for OCaml☆23Updated last week
- Another version of ProofGeneral character, じぇねらるたん☆21Updated 8 years ago
- Deductive verifier for CUDA☆14Updated 7 years ago
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 4 years ago
- OCaml extension for a Go-ish [%defer ...] syntax☆17Updated 2 years ago
- SATySFi package for flexible ordered/unordered/description lists.☆14Updated 2 years ago
- Example use of GitHub Actions with OCaml☆36Updated last month
- Yet another tiny tiny self-hosted OCaml compiler with an also tiny standard library.☆56Updated 5 years ago
- flexible 'let rec' generation for MetaOCaml☆22Updated last year
- Nazo ML - my toy programming language☆61Updated 4 years ago