aregdev

bobbbay

We don’t write Haskell because we’re geniuses — we use tools like Haskell because we're not geniuses and it helps us.

MaxX

MaxTech 4343's & NextGen 914's 2022 robot code.

wasm2native

Turn WASI apps into native executables

magmide

A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

dinwiddy

Dependently typed N-dimensional array type signatures for Idris (2).

salo

Declarative, reproducible, statically typed build and deployment for Operating Systems.

rd

rd is a record/replay debugger written in rust

dbg_hex

display dbg result in hexadecimal {:#x?} format

ouch

Painless compression and decompression in the terminal

tide

Fast and friendly HTTP server framework for async Rust

find-file-in-project

Quick access to project files in Emacs

nocodb

🔥 🔥 🔥 Open Source Airtable Alternative

nushell

A new type of shell

hugo-PaperMod

A fast, clean, responsive Hugo theme.

xl

eventuals

Eventually consistent values for Rust

playground

Treesitter playground integrated into Neovim

alea

Fast and easy zero-dep random number generation.

math-comp

Mathematical Components

fast-float-rust

Super-fast float parser in Rust (now part of Rust core)

nyxt

Nyxt - the hacker's browser.

skewer-mode

Live web development in Emacs

org-noter

Emacs document annotator, using Org-mode

grist

A Windows window manager written in Rust

slint

Slint is a declarative GUI toolkit to build native user interfaces for Rust, C++, or JavaScript apps.

alchemy

An experimental GUI framework for Rust, backed by per-platform native widgets. React, AppKit/UIKit inspired. EXPERIMENTAL, runs on Cocoa right now. ;P

cacao

Rust bindings for AppKit (macOS) and UIKit (iOS/tvOS). Experimental, but working!

gazebo

A Rust library containing a collection of small well-tested primitives.

dotnet.el

dotnet CLI minor mode for Emacs

chumsky

Write expressive, high-performance parsers with ease.