Stars
A friendly programming language from the future
Empowering everyone to build reliable and efficient software.
A prompt engineering functional programming language
Keybase Go Library, Client, Service, OS X, iOS, Android, Electron
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 refreshingly simple data-driven game engine built in Rust
F´ - A flight software and embedded systems framework
Official upstream development repository for Cabal and cabal-install
A modern Prolog implementation written mostly in Rust.
Enso Analytics is a self-service data prep and analysis platform designed for data teams.
Thunderbird for Android – Open Source Email App for Android (fka K-9 Mail)
OpenTTD is an open source simulation game based upon Transport Tycoon Deluxe
Mirror of https://gitlab.redox-os.org/redox-os/redox
The fastest way to develop full-stack web apps with React & Node.js.
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 lightweight TUI (ncurses-like) display manager for Linux and BSD (mirror of https://codeberg.org/fairyglade/ly).
A fast, flexible, fused effect system for Haskell
Generation of diagrams like flowcharts or sequence diagrams from text in a similar manner as markdown