pure
Type system interpreter
An interpreter for arbitrary pure type systems implemented in OCaml
A pure type system implemented in OCaml
77 stars
1 watching
1 forks
Language: OCaml
last commit: over 5 years agoRelated projects:
| Repository | Description | Stars |
|---|---|---|
 rizo/ppx_monad | Provides a syntax extension for monadic computations in OCaml. | 7 |
 mmcco/verified-parser-example | A formally verified parser implementation using Coq and OCaml | 20 |
 ocaml-community/iso8601.ml | A parser and printer for date-times in ISO8601 format. | 29 |
 ahrefs/atd | Defines cross-language data types to generate efficient and type-safe serializers, deserializers, and validators for various programming languages. | 317 |
 ccxvii/mujs | An embeddable JavaScript interpreter written in C | 818 |
 fluent/fluent-logger-ocaml | A structured logger library for OCaml, providing features like buffering and persistent connections. | 7 |
 routineco/ocaml-nanoid | Generates unique, secure strings for use in applications. | 20 |
 whitequark/ocaml-m17n | A package that enables multilingualization of OCaml source code by supporting Unicode identifiers | 50 |
 ircmaxell/monad-php | A PHP library providing a basic set of functional programming constructs through the use of monads. | 295 |
 c-cube/qcheck | A QuickCheck-inspired testing library for OCaml that enables property-based testing and random value generation. | 354 |
 terenceng03/mueval | A Haskell interpreter designed to evaluate pure functions securely and efficiently in a sandboxed environment. | 76 |
 hackwaly/vscode-ocaml | An extension for VS Code providing support for the OCaml programming language | 170 |
 thangiee/freasy-monad | A Scala macro-based library for creating typelevel monads with first-class support in IntelliJ | 114 |
 jmorag/mcc | Compiles the MicroC programming language into machine code using Haskell | 116 |
 mmottl/pcre-ocaml | A library that provides Perl-compatible regular expressions for string matching in OCaml | 31 |