lrt
Type synthesizer
A package providing runtime type representations and a syntax extension to synthesize them from OCaml types
LexiFi runtime types
32 stars
12 watching
3 forks
Language: OCaml
last commit: almost 5 years ago
Linked from 1 awesome list
ocaml-community/awesome-ocamlRelated projects:
| Repository | Description | Stars |
|---|---|---|
 mit-plv/fiat | A Coq-based library for synthesizing correct-by-construction abstract data types and parsers from formal specifications | 149 |
 kit-ty-kate/labrys | A compiler for a toy language based on LLVM that implements the System Fω type-system | 103 |
 lysxia/first-class-families | A library providing a foundation for type-level functions and compositions in Haskell | 87 |
 rncbc/synthv1 | A polyphonic synthesizer with 4 oscillators and stereo FX, supporting JACK, ALSA, LV2, and OSC. | 40 |
 amsynth/amsynth | An analog modelling software synthesizer with features like oscillators, envelopes and effects | 441 |
 louisgorenfeld/digitsvst | A software implementation of a phase distortion synthesizer for audio processing | 105 |
 gregrecco67/audibleplanets | An expressive synthesizer with Ptolemaic-inspired orbital modulation and effects chains. | 111 |
 pld-linux/apertium-dict-es-gl | A dictionary file for machine translation between two languages using a specific rule-based machine translation system | 1 |
 lexi-lambda/hackett | An experimental implementation of a Haskell-like language with Racket's macro system | 1,167 |
 pqwy/tpf | A minimalist library for writing datatype-generic functions in OCaml without runtime dependencies or meta-programming. | 23 |
 lemastero/scala_typeclassopedia | A comprehensive guide to abstractions from Category theory in functional programming with implementation examples and links to further resources. | 379 |
| lysxia/generic-random | A Haskell package providing generic random generators for arbitrary data types. | 81 |
 gcanti/monocle-ts | A TypeScript implementation of a functional programming approach to working with nested data structures | 1,045 |
| lexi-lambda/higher-rank | A Haskell implementation of type checking and evaluation for higher-rank polymorphism | 101 |
 ellapollack/frex | A web-based tool for creating and playing back microtonal music using additive synthesis | 17 |