Remy Goldschmidt

A FUSE filesystem, written in Haskell, that allows one to mount NAR (Nix archive) files and expose them as a virtual Nix store.

Create random user-defined primitives to fuzz yosys vs iverilog

Yosys Open SYnthesis Suite

OpenROAD's scripts implementing an RTL-to-GDS Flow. Documentation at https://openroad-flow-scripts.readthedocs.io/en/latest/

Safe rust bindings to the Highs MILP Solver.

A language-generic implementation of equality saturation in Haskell

A strategic game themed after hacking, and a clone of Lego's Spybot: The Nightfall Incident.

Render Vulkan into a GTK4 widget

High-performance Krylov subspace and preconditioned iterative solvers for dense and sparse linear systems

No description provided.

A compiler from a simple imperative language to SPIM, a dialect of MIPS assembly (WIP)

CUDD: CU Decision Diagram package - unofficial git mirror of http://vlsi.colorado.edu/~fabio/

Experiments in dependent type inference

Utility for checking how long the X server has been idle

An attempt at writing a Lattice Boltzmann CFD simulator in Rust

A type system for GNU Guile Scheme (WIP)

Use Tree Sitter to parse your own languages in Rust

An incremental parsing system for programming tools

A typechecker for WebAssembly, written in Agda (WIP)

Haskell bindings to the Nix API (WIP)

Bazel rules for building tree-sitter grammars

A mirror of Quentin Carbonneaux's `c4b` project

WhisperX: Automatic Speech Recognition with Word-level Timestamps (& Diarization)

An MPD banner generator for TeamSpeak

The GNU Guile Scheme compiler and interpreter

A Dependently Typed Functional Programming Language

The SLIB Portable Scheme Library (GitHub mirror)

Abstract interpretation in Idris

A calculator for determining the dimensions and parameters of a thermoacoustic refrigerator

No description provided.