ctype

Type system implementation

An implementation of the Common Lisp type system focusing on precise and simplified reification of type specifiers

CL type system implementation

GitHub

26 stars

6 watching

3 forks

Language: Common Lisp

last commit: almost 2 years ago

Related projects:

Repository	Description	Stars
mbattyani/cl-typesetting	A Common Lisp library for building typesetting applications.	69
naveensundarg/common-lisp-actors	An actor system implementation in Common Lisp	112
clozure/ccl	A Common Lisp implementation of a compiler and runtime environment	858
tehreer/sheenfigure	An implementation of advanced typographic tables for OpenType specification	32
lysxia/first-class-families	A library providing a foundation for type-level functions and compositions in Haskell	87
typedefs/typedefs	A language-agnostic way to define algebraic data types using polynomials.	367
wilbowma/cur	An experimental language with static and dynamic types, theorem proving, and meta-programming capabilities.	222
chr1st0scli/rainlisp	A .NET implementation of the LISP programming language with features ideal for building domain-specific languages and extending existing systems.	34
malisper/clamp	An implementation of Arc programming language concepts in Common Lisp.	71
superstar64/aith	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.	64
dmotz/turingtype	An animation library implementing a simple human typing simulation effect	147
com-lihaoyi/pprint	A Scala library that provides a way to visually represent values and types in programming languages	228
bit-phlippers/cl-ecs	An implementation of the Entity-Component-System pattern in Common Lisp	7
rhysd/crisp	A Lisp dialect implemented with Crystal	44
lspitzner/exference	A tool for generating Haskell expressions from types	101