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
26 stars
6 watching
3 forks
Language: Common Lisp
last commit: 2 months 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 |