tpf
Datatype-library
A minimalist library for writing datatype-generic functions in OCaml without runtime dependencies or meta-programming.
Trivial/Tagless Polytypic Functions
23 stars
7 watching
1 forks
Language: OCaml
last commit: over 4 years ago
Linked from 1 awesome list
ocaml-community/awesome-ocamlRelated projects:
| Repository | Description | Stars |
|---|---|---|
| pqwy/notty | A declarative terminal graphics library for OCaml that abstracts away basic terminal programming model. | 351 |
 ahrefs/atd | Defines cross-language data types to generate efficient and type-safe serializers, deserializers, and validators for various programming languages. | 316 |
 szi/vartypes | A C++ library that provides a flexible and extensible data type system for representing and manipulating variable-length data values. | 16 |
 jjjkkkjjj/matft | A Numpy-like library in Swift for multi-dimensional array and matrix operations | 133 |
 inhabitedtype/ocaml-webmachine | A toolkit for building RESTful APIs using a state-machine-based request processor | 221 |
 lexifi/lrt | A package providing runtime type representations and a syntax extension to synthesize them from OCaml types | 32 |
 evertdespiegeleer/zhttp | A minimal, typesafe HTTP library with Zod validation | 65 |
 hyperf/database | A PHP-based library providing an ORM and coroutine-friendly interface to interact with databases. | 17 |
 msoulier/tftpy | A Python library implementing a TFTP client-server protocol for file transfer | 172 |
 diegomvh/angular-odata | A Client-side OData type library for Angular application development | 50 |
 typelevel/doobie | A functional JDBC layer that abstracts database interactions in a Scala-based programming language | 2,171 |
 teaentitylab/fpgo | A Golang library providing functional programming features and Rx-style coding capabilities. | 348 |
 tmattio/spin | Generates OCaml project templates with standardized configurations and conventions. | 295 |
 mirleft/ocaml-nocrypto | An OCaml cryptographic library providing basic encryption and hashing functions | 111 |
 web2py/pydal | A pure Python Database Abstraction Layer that generates SQL/noSQL in real-time for different databases. | 498 |