A simple, extensible LLM client for Emacs

OpenTofu lets you declaratively manage your cloud infrastructure.

An SoA library for Rust

Dafny is a verification-aware programming language

A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...

A post-modern modal text editor.

We do Open Source ERP - Fast, Flexible & Free Software to scale your Business.

A Nix library for building cargo projects. Never build twice thanks to incremental artifact caching.

Rust toolchains and rust-analyzer nightly for Nix [maintainers=@figsoda, @eureka-cpu]

A terminal workspace with batteries included

DeDRM tools for ebooks

Hydra, the Nix-based continuous build system [maintainers=@dasj,@Ericson2314]

Better configuration for less

mimalloc is a compact general purpose allocator with excellent performance.

Message passing based allocator

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

AWS SDK for the Rust Programming Language

The Pants Build System

LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming

Erlang/OTP