lrt
by LexiFi
LexiFi runtime types
AI summary
Type synthesizer
A package providing runtime type representations and a syntax extension to synthesize them from OCaml types
- stars
- 32
- forks
- 3
- watching
- 12
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
mit-plv/fiat149
Data type synthesizer
A Coq-based library for synthesizing correct-by-construction abstract data types and parsers from formal specifications
Compiler
A compiler for a toy language based on LLVM that implements the System Fω type-system
Type composer
A library providing a foundation for type-level functions and compositions in Haskell
Synthesizer
A polyphonic synthesizer with 4 oscillators and stereo FX, supporting JACK, ALSA, LV2, and OSC.
Synthesizer
An analog modelling software synthesizer with features like oscillators, envelopes and effects
Synthesizer
A software implementation of a phase distortion synthesizer for audio processing
Synthesizer
An expressive synthesizer with Ptolemaic-inspired orbital modulation and effects chains.
Language dictionary
A dictionary file for machine translation between two languages using a specific rule-based machine translation system
Lisp-inspired language
An experimental implementation of a Haskell-like language with Racket's macro system
pqwy/tpf23
Datatype-library
A minimalist library for writing datatype-generic functions in OCaml without runtime dependencies or meta-programming.
Category theory guide
A comprehensive guide to abstractions from Category theory in functional programming with implementation examples and links to further resources.
Random generator library
A Haskell package providing generic random generators for arbitrary data types.
Data transformation library
A TypeScript implementation of a functional programming approach to working with nested data structures
Type checker
A Haskell implementation of type checking and evaluation for higher-rank polymorphism
Music synthesizer
A web-based tool for creating and playing back microtonal music using additive synthesis
Featured in 1 awesome list
Each link jumps to the spot where the list mentions lrt.
