- Planet Earth
- adamcurtis.dev
- in/adam-curtis23
Starred repositories
InfluxData's core functionality for InfluxDB Edge and IOx
Configure Neovim with Nix! [maintainers=@GaetanLepage, @traxys, @mattsturgeon, @khaneliman]
DSLCad is a programming language & interpreter for building 3D models.
Command line client for Nix binary cache hosting:
The enum Either with variants Left and Right is a general purpose sum type with two cases.
Collection of image builders [maintainer=@Lassulus]
A fast, persistent use_nix/use_flake implementation for direnv [maintainer=@Mic92 / @bbenne10]
Manage a user environment using Nix [maintainer=@rycee]
Proposed compiler and language changes for GHC and GHC/Haskell
NixOps is a tool for deploying to NixOS machines in a network or cloud.
General purpose Nix configuration for macOS / NixOS with starter templates + step-by-step guides ✨
🏡 Open source home automation that puts local control and privacy first.
A trait object based error handling type for easy idiomatic error handling and reporting in Rust applications
Cucumber testing framework for Rust. Fully native, no external test runners or dependencies.
A static verifier for Rust, based on the Viper verification infrastructure.
Scalable datastore for metrics, events, and real-time analytics
OBS Studio - Free and open source software for live streaming and screen recording
Lean 4 programming language and theorem prover