pure
by mmcqd
A pure type system implemented in OCaml
AI summary
Type system interpreter
An interpreter for arbitrary pure type systems implemented in OCaml
- stars
- 77
- forks
- 1
- watching
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Monad syntax
Provides a syntax extension for monadic computations in OCaml.
Formal Parser
A formally verified parser implementation using Coq and OCaml
Date parser
A parser and printer for date-times in ISO8601 format.
ahrefs/atd317
Data type definitions
Defines cross-language data types to generate efficient and type-safe serializers, deserializers, and validators for various programming languages.
ccxvii/mujs818
Interpreter
An embeddable JavaScript interpreter written in C
Logger library
A structured logger library for OCaml, providing features like buffering and persistent connections.
Nano ID generator
Generates unique, secure strings for use in applications.
Unicode identifier support
A package that enables multilingualization of OCaml source code by supporting Unicode identifiers
Monad library
A PHP library providing a basic set of functional programming constructs through the use of monads.
Testing library
A QuickCheck-inspired testing library for OCaml that enables property-based testing and random value generation.
Haskell Interpreter
A Haskell interpreter designed to evaluate pure functions securely and efficiently in a sandboxed environment.
OCaml editor
An extension for VS Code providing support for the OCaml programming language
Monad library
A Scala macro-based library for creating typelevel monads with first-class support in IntelliJ
jmorag/mcc116
Compiler
Compiles the MicroC programming language into machine code using Haskell
Regex library
A library that provides Perl-compatible regular expressions for string matching in OCaml
