The rustic MLIR bindings in Rust

An asynchronous distributed actor framework in Rust with robust observability

A scalable, distributed, collaborative, document-graph database, for the realtime web

A RealWorld app implementation as a fullstack Rust project using Axum (back-end) and Dioxus (front-end).

A refreshingly simple data-driven game engine built in Rust

A mostly functional haskell compiler written in rust

compile rust-like source code to x86 assembly

Robyn is a Super Fast Async Python Web Framework with a Rust runtime.

Ordo: A minimalist language with row polymorphism

Multi-tenant Nix Binary Cache

NixOS configurations for my personal systems

Reifies arbitrary Haskell terms into types that can be reflected back into terms

Haskell interactive serverside web framework inspired by HTMX, Elm, and Phoenix LiveView

Haskell implemented with combinators

Kayla Salumu is learning Haskell programming

A library of functions for vector calculus, calculation of electric field, electric flux, magnetic field, and other quantities in mechanics and electromagnetic theory.

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

Earley Parsing with Monadic Combinators

Hey! Hey! Can u rel8?

👾 NixOS configuration

A VM That is Dynamic and Fast

Write your GDB scripts in Haskell!

https://adventofcode.com/

Some functional pearls from time to time

ICFP tutorial

Research language for array processing in the Haskell/ML family

Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com

Nx-powered Neural Networks

advanced compilers