Libraries & frameworks
agda
agda/agda
Agda is a dependently typed programming language and interactive theorem prover for writing programs and machine-checked proofs, distributed as a Haskell package with editor support.
Topics
Related projects
go139.8kGo is an open-source programming language designed for simple, reliable and efficient software, with official binary distributions and a full toolchain.
modular30.1kOpen-source pieces of the Modular platform, including the Mojo language and MAX AI deployment framework.
dark2.2kA combined programming language, editor and infrastructure for building backends and CLIs more easily.
ngs1.5kNext Generation Shell is a modern programming language for DevOps, with structured data handling, external command integration, and an AWS library.
cmajor760Cmajor is a C-family programming language and toolchain for writing fast, portable audio DSP code that targets CPUs, DSPs, GPUs and other architectures.
elvish6.4kElvish is a powerful scripting language and interactive shell. It combines a modern, structured shell with a real programming language, ships as a statically linked binary, and runs on Linux, BSD, macOS and Windows.