coalton
by coalton-lang
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
AI summary
Math language
A statically typed functional programming language that integrates with Common Lisp to provide efficient and safe support for symbolic math expressions.
- stars
- 1.2K
- forks
- 70
- watching
- 31
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Functional language
An interpreted language designed to support functional programming with features like dynamic typing and garbage collection.
Generic Programming Language
A programming language designed to support Generic Programming using C++
Dataflow language
A Common Lisp implementation of the dataflow programming paradigm with spreadsheet-like expressiveness.
Programming language
A C++ programming language in development with support for various libraries and tools.
Functional language
An experimental language designed for simplicity and safety in functional programming
Math Library
A comprehensive library of formalized mathematical theories
Practical language
A language focused on being practical and pragmatic while still providing strong typing and powerful type arguments.
Math library
A library of abstract interfaces for various mathematical structures to facilitate algebraic manipulation and type class-based reasoning in Coq
C++ compiler
A Common Lisp interface to C++ code compilation and execution with JIT optimization
Programming language
A procedural concatenative stack-oriented compiled programming language inspired by Lua and Porth.
Functional language
A statically typed functional language designed to reduce boilerplate code and improve performance by leveraging immutable data structures and abstract concepts.
ollef/sixten759
Functional lang
An experimental functional programming language with minimal indirections and direct access to memory layout
Math library
A comprehensive formalization of mathematical structures and concepts for verified computation in Coq.
Language compiler
A Haskell + Lisp compiler and runtime environment for executing multi-language code.
Analysis library
A Coq proof-assistant library for real analysis and mathematical structures
Featured in 1 awesome list
Each link jumps to the spot where the list mentions coalton.
