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: 6 days ago
Linked 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. | 417 |
 jckarter/clay | A programming language designed to support Generic Programming using C++ | 404 |
 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,102 |
 math-comp/math-comp | A comprehensive repository of formalized mathematical theories based on Coq and SSReflect. | 587 |
 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 | 62 |
 stonkdragon/scale | A procedural concatenative stack-oriented compiled programming language inspired by Lua and Porth. | 16 |
 cdiggins/plato | A statically typed functional language designed to reduce boilerplate code and improve performance by leveraging immutable data structures and abstract concepts. | 79 |
 ollef/sixten | An experimental functional programming language with minimal indirections and direct access to memory layout | 761 |
| 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 comprehensive Coq proof-assistant library for mathematical analysis | 206 |