pure

Type system interpreter

An interpreter for arbitrary pure type systems implemented in OCaml

A pure type system implemented in OCaml

GitHub

77 stars
1 watching
1 forks
Language: OCaml
last commit: almost 4 years ago

Related 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. 316
ccxvii/mujs An embeddable JavaScript interpreter written in C 812
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. 19
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. 347
terenceng03/mueval A Haskell interpreter designed to evaluate pure functions securely and efficiently in a sandboxed environment. 77
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 C library wrapper for Perl-compatible regular expressions, providing OCaml bindings for string matching and manipulation 31