Stars
Project moved to: https://github.com/llvm/llvm-project
Mirror of Steel Bank Common Lisp (SBCL)'s official repository
Generate Nix build instructions from a Cabal file
Official upstream development repository for Cabal and cabal-install
Tools for building Bazel targets when source files change.
Apache Spark - A unified analytics engine for large-scale data processing
ROS 2 Navigation Framework and System
A ROS/ROS2 Multi-robot Simulator for Autonomous Vehicles
The Robot Operating System, is a meta operating system for robots.
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
a fast, scalable, multi-language and extensible build system
A use-package declaration for simplifying your .emacs
Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!
Agda is a dependently typed programming language / interactive theorem prover.
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…
A Dependently Typed Functional Programming Language
A modern editor with a backend written in Rust.