coalton
Math language
A statically typed functional programming language that integrates with Common Lisp to provide efficient and safe support for symbolic math expressions.
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
1k stars
31 watching
70 forks
Language: Common Lisp
last commit: almost 2 years agoLinked from 1 awesome list
common-lispfunctional-programmingtype-safety
codyreichert/awesome-clRelated projects:
| Repository | Description | Stars |
|---|---|---|
 liam-ilan/crumb | An interpreted language designed to support functional programming with features like dynamic typing and garbage collection. | 418 |
 jckarter/clay | A programming language designed to support Generic Programming using C++ | 402 |
 kennytilton/cells | A Common Lisp implementation of the dataflow programming paradigm with spreadsheet-like expressiveness. | 211 |
 matthewfl/ilang | A C++ programming language in development with support for various libraries and tools. | 5 |
 evincarofautumn/kitten | An experimental language designed for simplicity and safety in functional programming | 1,103 |
 math-comp/math-comp | A comprehensive library of formalized mathematical theories | 593 |
 therealmichaelwang/cish | A language focused on being practical and pragmatic while still providing strong typing and powerful type arguments. | 35 |
 coq-community/math-classes | A library of abstract interfaces for various mathematical structures to facilitate algebraic manipulation and type class-based reasoning in Coq | 162 |
 islam0mar/cl-cxx-jit | A Common Lisp interface to C++ code compilation and execution with JIT optimization | 63 |
 stonkdragon/scale | A procedural concatenative stack-oriented compiled programming language inspired by Lua and Porth. | 17 |
 cdiggins/plato | A statically typed functional language designed to reduce boilerplate code and improve performance by leveraging immutable data structures and abstract concepts. | 80 |
 ollef/sixten | An experimental functional programming language with minimal indirections and direct access to memory layout | 759 |
| coq-community/corn | A comprehensive formalization of mathematical structures and concepts for verified computation in Coq. | 111 |
 axellang/axel | A Haskell + Lisp compiler and runtime environment for executing multi-language code. | 206 |
| math-comp/analysis | A Coq proof-assistant library for real analysis and mathematical structures | 210 |