Platform to submit RFCs for the Ada & SPARK languages

Command-like expressions for real infinite-precision calculations

A web frontend for the motion daemon.

Approximation eXchange Format, generic file format to import / export mathematical function approximations

🌸 A command-line fuzzy finder

Code generation tool to generate mathematical libraries

Command-line tool from the Alire project and supporting library

Ada semantic analysis library.

Language creation framework.

A curated list of awesome resources related to the Ada and SPARK programming language

SOGo is a very fast and scalable modern collaboration suite (groupware). It offers calendaring, address book management, and a full-featured Webmail client along with resource sharing and permissio…

Certbot plugin for authentication using Gandi LiveDNS

GitHub Action for the OCaml programming language

The CompCert formally-verified C compiler

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…

DIY mechanical keyboard and where to find them

DIY ortholinear keyboard with pure Rust or Ada firmware

⌨️ A curated list of Open Source Mechanical Keyboard resources.

ACME client implemented as a simple shell-script – just add water

Persists tmux environment across system restarts.

The configuration framework for Zsh

🙃 A delightful community-driven (with 2,500+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python…

A collection of out-of-tree LLVM passes for teaching and learning

A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml

Intel® Implicit SPMD Program Compiler

A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

A tool for use with clang to analyze #includes in C and C++ source files