andreypopp / type-systemsLinks
Playing with type systems
β51Updated 5 months ago
Alternatives and similar repositories for type-systems
Users that are interested in type-systems are comparing it to the libraries listed below
Sorting:
- π©Ί A library for compiler diagnosticsβ46Updated 3 months ago
- A pretty-printing combinator library for OCamlβ51Updated 9 months ago
- A fancy diagnostics library that allows your compilers to exit with graceβ74Updated last month
- πͺ A Staged Type Theoryβ35Updated last year
- multi-shot continuations in OCamlβ48Updated 3 months ago
- π¦ Reusable components based on algebraic effectsβ50Updated 8 months ago
- A ML-like pure functional language that can be used as a template for creating your own languageβ28Updated 4 months ago
- A pure type system implemented in OCamlβ77Updated 4 years ago
- Tools for record-and-replay debuggingβ43Updated 2 years ago
- FΟΞΌ type checker and compilerβ54Updated 2 years ago
- Wrapper around the OCaml `lsp` library to make it easier to write LSP serversβ34Updated last month
- A minimal implementation of Hindley-Milner's Algorithm J in OCamlβ63Updated 3 years ago
- Implementations of F-ing modules and 1ML, as well as bibliography of (mainly ML-style) modulesβ31Updated 2 years ago
- An interpreter of F-ing modulesβ19Updated 5 years ago
- Property-based testing at easeβ42Updated 3 years ago
- A dependent type theory with user defined data typesβ46Updated 3 years ago
- Fast implementation of queue in OCamlβ51Updated last year
- Efficient binder representation in OCamlβ42Updated 10 months ago
- Dependency graphs for OCaml modules, libraries and packagesβ39Updated 10 months ago
- Dromedary is an experimental subset of OCaml, using constraint-based type inference!β48Updated 7 months ago
- Purely functional GUI algebraβ75Updated last month
- A template for you to implement Hazelnut yourselfβ22Updated 4 months ago
- A Deductive Verification Tool for OCaml Programsβ73Updated last week
- Compile OCaml to standalone ANSI C fileβ43Updated last week
- A statically-typed programming language based on "F-ing modules"β81Updated 4 years ago
- A Toy Inverse Bidirectional Typecheckerβ31Updated 6 years ago
- OCaml with typed algebraic effectsβ50Updated 6 years ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writβ¦β22Updated 4 years ago
- A compiler and runtime for normalizing the untyped Ξ»-calculusβ31Updated 3 years ago
- Runtime assertion checking based on Gospel specificationsβ46Updated last week