typerep
Type checker
A runtime environment providing type-safe functionality for the OCaml programming language
Runtime types for OCaml (beta version)
23 stars
6 watching
6 forks
Language: OCaml
last commit: 2 months ago Related projects:
| Repository | Description | Stars |
|---|---|---|
| janestreet/base | A replacement standard library for OCaml that provides a set of well-tested and portable general-purpose modules. | 877 |
| janestreet/core | A standard library overlay providing reusable, modular building blocks for OCaml programming | 1,126 |
| janestreet/core_bench | A library for running micro-benchmarks in OCaml | 50 |
| janestreet/incremental | A library for building efficient incremental computations in OCaml | 886 |
| janestreet/incr_dom | A library for building dynamic web applications by incrementally rendering HTML views and handling user interactions. | 383 |
| janestreet/hardcaml | A comprehensive OCaml library and toolset for designing, testing, and simulating digital hardware | 677 |
 vitalets/babel-plugin-runtyper | An add-on to JavaScript code analysis that detects and prevents type-coercion bugs during runtime. | 116 |
| janestreet/sexplib | A library for serializing and deserializing data in a human-readable format using S-expressions | 148 |
| janestreet/rpc_parallel | A type-safe library for building parallel applications by providing a safe and efficient way to create concurrent RPC (Remote Procedure Call) interfaces. | 47 |
 contains-io/typet | A Python library that simplifies type checking and validation in object-oriented coding | 22 |
 siddhuwarrier/python-typeutils | A utility library that provides a type checking decorator for Python functions. | 1 |
 wingysam/t | A runtime type checker for Roblox's Lua programming language. | 0 |
 gajus/flow-runtime | Provides a runtime type system for JavaScript that enables full Flow compatibility and supports API input validation | 802 |
 arohner/spectrum | A tool that performs compile-time checks to catch type errors in Clojure code using Clojure.spec annotations. | 595 |
 thierry-martinez/refl | A library that provides efficient and type-safe type reflection for OCaml | 51 |