Serde is a Julia library for (de)serializing data to/from various formats. The library offers a simple and concise API for defining custom (de)serialization behavior for user-defined types

A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D geometry; 2D gcode generation...

A language and an embedded JIT compiler

Project: M36 Relational Algebra Engine

A Haskell extension for PostgreSQL that allows embedded Haskell code.

Bundle and save your SSH keys with Nix

A plugin to introduce interactive symbols into your debugger from your decompiler

UE5's Nanite implementation using WebGPU. Includes the meshlet LOD hierarchy, software rasterizer and billboard impostors. Culling on both per-instance and per-meshlet basis.

An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.

Linux VR Desktop

⟨Grassmann-Clifford-Hodge⟩ multilinear differential geometric algebra

Ghidra extension for exporting relocatable object files

Maintainable configuration files

Shell programming, Haskell style

Scientific reports/literate programming for Julia

A comprehensive open source computer algebra system for computations in algebra, geometry, and number theory.

Nix grammar for tree-sitter [maintainer=@cstrahan]

Literate Haskell support for Markdown

Formal semantics of LLVM IR in K

A verified compiler for a lazy functional language

Maintainable configuration files

A compiler for homomorphic encryption

An experimental proof assistant based on a type theory for synthetic ∞-categories.

The full power of R in Haskell.

High performance HTML and CSS renderer powered by WGPU

Haskell text processor for the command-line

A case for representing data collections and objects in the LLVM IR

A monadic library for symbolic evaluation