ctype
CL type system implementation
AI summary
Type system implementation
An implementation of the Common Lisp type system focusing on precise and simplified reification of type specifiers
- stars
- 26
- forks
- 3
- watching
- 6
Similar projects
Found by comparing what the projects do, not just their names.
Typesetter
A Common Lisp library for building typesetting applications.
Actor system
An actor system implementation in Common Lisp
clozure/ccl858
Compiler
A Common Lisp implementation of a compiler and runtime environment
Typography library
An implementation of advanced typographic tables for OpenType specification
Type composer
A library providing a foundation for type-level functions and compositions in Haskell
Type constructor
A language-agnostic way to define algebraic data types using polynomials.
wilbowma/cur222
Type system
An experimental language with static and dynamic types, theorem proving, and meta-programming capabilities.
LISP interpreter
A .NET implementation of the LISP programming language with features ideal for building domain-specific languages and extending existing systems.
Lisp implementation
An implementation of Arc programming language concepts in Common Lisp.
Systems programming language
A language project that aims to create a systems programming language with a strong emphasis on type systems and advanced features like levity polymorphism, first-class inline functions, linear types, and effectful regions.
Typing simulator
An animation library implementing a simple human typing simulation effect
Type/Value Visualizer
A Scala library that provides a way to visually represent values and types in programming languages
ECS framework
An implementation of the Entity-Component-System pattern in Common Lisp
Lisp implementation
A Lisp dialect implemented with Crystal
Expression generator
A tool for generating Haskell expressions from types
