thiskappaisgrey

bevy

A refreshingly simple data-driven game engine built in Rust

typst

A new markup-based typesetting system that is powerful and easy to learn.

futures-rs

Zero-cost asynchronous programming in Rust

InfiniTime

Firmware for Pinetime smartwatch written in C++ and based on FreeRTOS

log

Logging implementation for Rust

bldc

The VESC motor control firmware

kani

Kani Rust Verifier

chalk

An implementation and definition of the Rust trait system using a PROLOG-like logic solver

crux

Cross-platform app development in Rust

combine

A parser combinator library for Rust

frunk

Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.

haskell-companies

A gently curated list of companies using Haskell in industry

osf.io

Facilitating Open Science

flux

Refinement Types for Rust

effing-mad

Algebraic effects for Rust

activitypub-federation-rust

High-level Rust library for the Activitypub protocol

kitsune

🦊 (fast) ActivityPub-federated microblogging

lspce

LSP Client for Emacs implemented as a module using rust.

lispBM

An interpreter for a concurrent lisp-like language with message-passing and pattern-matching implemented in C.

typst-mode.el

Emacs support for Typst.

treeedb

Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.

emacs-module

Wrappers around emacs-module.h to write Emacs modules in Haskell

dosh

The power of Haskell in your terminal!

unbeliever

Opinionated Haskell Interoperability

speff

Fast higher-order effect handlers with evidence passing

stm-actor

An implementation of the actor model in Haskell using STM

rspl

A stream processor language.

usbd-storage

Experimental USB Mass Storage implementation

nrf-nix

A Nix flake for developing and working with Nordic Semiconductor hardware

xenon