Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
- functional-programming
- common-lisp
- type-safety
81,588 visible repositories in the index
49–72 of 132 · Most stars
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
Read-only mirror of https://gitlab.gnome.org/GNOME/glib
Open-source CUDA, Triton and HIP compiler targeting multiple GPU and CPU architectures.
Emerging smart contract language for the Ethereum blockchain.
Hedy is a gradual programming language to teach children programming. Gradual languages use different language levels, where each level adds new concepts and syntactic complexity. At the end of the Hedy level sequence, kids master a subset of syntactically valid Python.
Run Rust files and expressions as scripts without any setup or compilation step.
A tiny JVM written in Rust. Learning project
Password hashing specification for the Elixir programming language
A language and an embedded JIT compiler
A Cargo subcommand for the client-side Web
Ahead of time compiler for JVM bytecode targetting iOS, Mac OSX and Linux
A standalone Luau runtime
Google Earth Engine for R
Bindings and ADO.NET Provider for DuckDB
A pure-Go JavaScript runtime built for running many small plugin sandboxes fast.
Powerful multi-threaded coroutine dispatcher and parallel execution engine
Boost.org python module
Handcrafted Go bindings for libVLC and high-level media player interface
:hocho: Strictly RFC 3986 compliant URI parsing and handling library written in C99; moved from SourceForge to GitHub
Multi target HAML (HAML for PHP, Twig, <your language here>)
Recompile Java code without restarting the REPL
Open-source transpiled programming language that helps you write clean code, well-designed systems, and build high-quality software that is testable, auditable and maintainable. Like what you see? Don't forget to star! :star: ^^^
:baby_chick: A multi-paradigm programming language with gradual and duck typing that targets PHP and JS
A high-performance engine for matrix math, physics simulation, and MCAD and ECAD as code. RunMat checks types, sizes and units before anything runs, executes on CPU and GPU, and runs existing MATLAB-language code as written.