Matthew Mosior

proton-ge-custom. Compatibility tool for Steam Play based on Wine and additional components

TempleOS. Talk to God on up to 64 cores. Final snapshot of the Third Temple.

idris2-arrayvect. Idris

time. A time library

idris2-blake2b. Implementation of the BLAKE2b hash function

tricorder. Tricorder provides simple, fast, focused feedback when hacking on Haskell (with or without LLM agents).

sdl3-hs. Haskell bindings for the SDL3 library.

idris2-ratio. Mirror of https://git.tokinanpa.dev/toki/idris2-ratio

idris2-lens. Mirror of https://git.tokinanpa.dev/toki/idris2-lens

Scalapptainer. Scalapptainer: A cross-platform Scala wrapper around Apptainer

boo. A GNU screen style terminal multiplexer built on libghostty.

nextgen-databases. Parent repository for equivalence-aware database research — QuandleDB, VeriSimDB, Lithoglyph, Glyphbase, and typed-trace storage experiments

r2ghidra. Native Ghidra Decompiler for r2

idris2-yaml. A pure and total YAML 1.2.2 parser for Idris 2 that passes the official YAML test suite.

rocksdb. A library that provides an embeddable, persistent key-value store for fast storage.

gecko. A GameCube/Wii emulator and debugger written in Rust.

curry. A scheme implementation with QT and higher maths support.

oxcaml. OCaml - Oxidized!

idris2-best-alternative. Utilities for the `Alternative` interface

ceph. Ceph is a distributed object, block, and file storage platform

arbiter. Haskell + PostgreSQL Distributed Job Queue

mermaid-cli. Command line tool for the Mermaid library

VEN0m-Ransomware. Fully undetectable and evasive ransomware written in Rust, leveraging a BYOVD technique to disable AV/EDR solutions on the infected systems.

sofetch. Automatic batching and deduplication of concurrent data fetches for Haskell

skill-icons. Showcase your skills on your Github readme or resumé with ease ✨

zig-minimal-kernel-x86. Minimal x86 Kernel - built in Zig

Open-VRP. Open-source framework for modeling Vehicle Routing Problems.

haskell-obj-c. Write Mac apps entirely in Haskell

zgc. The Z Garbage Collector https://wiki.openjdk.org/display/zgc

libevent. Event notification library

cpl. An interpreter of Hagino's Categorical Programming Language (CPL).

Idris2-Erlang. Erlang code generator for Idris 2

TensorType. Framework for type-safe pure functional and non-cubical tensor processing, written in Idris 2

schemesh. A Unix shell and Lisp REPL, fused together

www.yaml.org. The yaml.org website

hashable-derive. Idris

constraints. Tools for programming with ConstraintKinds in GHC

charon. Analyze Rust crates without touching compiler internals

aeneas. A verification toolchain for Rust programs

OpenClinica. OpenClinica is the world's first commercial open source clinical trial software for Electronic Data Capture (EDC) Clinical Data Management (CDM).

libkqueue. kqueue(2) compatibility library

tor. unofficial git repo -- report bugs/issues/pull requests on https://gitlab.torproject.org/ --

zpdf. Zero-copy PDF text extraction library written in Zig. High-performance, memory-mapped parsing with SIMD acceleration.

idris2-http-types. Utility types for HTTP requests and responses

idris2-tutorial. A comprehensive tutorial for the Idris2 programming language

gambit. Gambit is an efficient implementation of the Scheme programming language.

zBench. 📊 zig benchmark

prek. ⚡ A fast Git hook manager written in Rust, designed as a drop-in alternative to pre-commit, reimagined.

Apollo-11. Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.

sokol. minimal cross-platform standalone C headers

libxev. libxev is a cross-platform, high-performance event loop that provides abstractions for non-blocking IO, timers, events, and more and works on Linux (io_uring or epoll), macOS (kqueue), and Wasm + WASI. Available as both a Zig and C API.

helix-gpt. Code assistant language server for Helix with support for Copilot/OpenAI/Codeium/Ollama

cedar. Implementation of the Cedar Policy Language

zentropy. A high-performance, lightweight key-value store server written in Zig

squab. Alignment-based gene expression quantification

noodles. Bioinformatics I/O libraries in Rust

conduit-aeson. Streaming JSON parsing

idris2-async-dom. Concurrency and streaming in interactive web pages

box. Haskell

chain-replication. Chain replication server framework for Rust

icepeak. Icepeak is a fast JSON document store with push notification support.

idris-girard. Idris

repl-alliance. GHC plugins for REPL enthusiasts

alfred-margaret. Fast Aho-Corasick string searching

PropR. Genetic program repair using GHC

convert-and-search. SQLite Database Searcher and Log File Converter

edi-835-parser. A simple EDI 835 file format parser.

zenith. Zenith - sort of like top or htop but with zoom-able charts, CPU, GPU, network, and disk usage

zig-interface. Comptime interface generation modeled after vtable design found in the stdlib.

pure-noise. Noise generation for Haskell

eclair-lang. A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR

idris-meta-semantics. Idris

idris2-odf. An OpenDocument Format (ODF) library for Idris 2

ihaskell-dataframe. Displaying DataFrames in iHaskell

horture. Interactive tool for streamers interested in elevating user interactions to their desktop

ptr-peeker. Fast deserialization DSL for Haskell

jmh-idris-benchmark-archetype. Java Microbenchmark Harness (JMH) for Idris

FuNes. A experimental NES emulator written in Haskell

monoidal-plugins. Monoidal interface for GHC plugins

tree-sitter-idris. C

hypercube. Minecraft clone in haskell focussed on performance.

PiMachine. Universal Reversible Machine

dolphin. Dolphin is a GameCube / Wii emulator, allowing you to play games for these two platforms on PC with improvements.

caledonia. Command-line and Emacs Calendar Client

PHDThesis. TeX

mitten_preorder. OCaml

regex-tdfa. Pure Haskell Tagged DFA Backend for "Text.Regex" (regex-base)

tick-tock-tui. Check latest Bitcoin data in your terminal: fees, blocks, ratio, prices. Including a price converter.

aith. Low level toy functional programming language with linear types, first class inline functions, levity polymorphism and regions.

helix-db. HelixDB is an OLTP graph-vector database built in Rust on Object Storage.

GhidraMCP. MCP Server for Ghidra

pup. Bidirectional grammar combinators

cassette. Define a parser. Play it in reverse to get a pretty printer.

stacked. A modern indexed monad library for Haskell

Haskell-Jobs. The latest Haskell jobs, updated weekly.

ruffle. A Flash Player emulator written in Rust

bareiron. Minimalist Minecraft server for memory-restrictive embedded systems

hnix. A Haskell re-implementation of the Nix expression language

Shelly.hs. Haskell shell scripting

postgresql-replicant. A streaming PostgreSQL logical replication client library for Haskell

tigerbeetle-hs. A Tigerbeetle database client library for Haskell

narya. A proof assistant for higher-dimensional type theory

bumpalo. A fast bump allocation arena for Rust

clerk. Declaratively generate spreadsheets

chapel. a Productive Parallel Programming Language

srfi-165. The Environment Monad

automerge. A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.

mhc. The Montreal Haskell Compiler

granite. A library for producing terminal plots.

scheme-rs. Embedded Scheme for the Rust Ecosystem

fpPS4-Temmie-s-Launcher. This is a a simple GUI / launcher created for fpPS4 project.

ubicloud. Open source alternative to AWS. Elastic compute, block storage (non replicated), firewall and load balancer, managed Postgres, K8s, AI inference, and IAM services.

astroz. Astrodynamics and Spacecraft Toolkit. Features fast orbit prop, celestial precession, CCSDS parsing, RF parsing, fits image parsing, and more!

mhc. Montreal Haskell Compiler

Xbox-Emulator-Files. BIOS, MCPX, and HDD Image Files

mame. MAME

bauh. Graphical user interface for managing your Linux applications. Supports AppImage, Debian and Arch packages (including AUR), Flatpak, Snap and native Web applications

lrucaching. Haskell implementation of an LRU cache

qtwebkit. Qt Webkit

jedioutcast. Final Source Code For Jedi Outcast - Forked from http://sourceforge.net/projects/jedioutcast/

jediacademy. Final Source Code For Jedi Academy - Forked from http://sourceforge.net/projects/jediacademy/

isle. A decompilation of LEGO Island (1997)

selectivemonoidal. A selective functor is two lax monoidal functors standing on top of each other wearing a trench coat

systemd-lsp. language server for systemd unit files - embedded documentation + complete LSP implementation in rust.

idris2-regex. Simple typed regex library for Idris 2

linuxpdf. Linux running inside a PDF file via a RISC-V emulator

Graphite. Community-built comprehensive 2D content creation appplication for graphic design, digital art, and interactive real-time motion graphics powered by a node-based procedural graphics engine

Whitesmiths-C-compiler. Whitesmiths C compiler. One of the earliest commercial C compilers available.

orville. Yet another ORM for haskell

nx-hbloader. Host process for loading Switch homebrew NROs

wakame. Haskell library of row polymorphic record manipulator

servis. Github project where I track everything related to my thesis

score. ossia score, an interactive sequencer for the intermedia arts

red-black-tree. Red Black Trees implemented in Haskell

ndarray. ndarray: an N-dimensional array with array views, multidimensional slicing, and efficient operations

gRPSQLite. A SQLite VFS for remote databases via gRPC

actually-doom.nvim. Play DOOM in Neovim v0.11+ on Linux & macOS

hs-opentelemetry-instrumentation-servant. OpenTelemetry instrumentation for Servant, compatible with hs-opentelemetry.

moka. A high performance concurrent caching library for Rust

centrifuger. Taxonomic classifier for sequencing reads (bulk and single-cell data, short and long read) using FM-index with run-block compressed BWT.

elks. Embeddable Linux Kernel Subset - Linux for 8086

eo. EOLANG, an Experimental Pure Object-Oriented Programming Language Based on 𝜑-Calculus

idris-quickcheck. A port of QuickCheck to Idris

array-primops. Extra foreign primops for primitive arrays.

banjo-kazooie. A decompilation of Banjo Kazooie. (MIRROR of https://gitlab.com/banjo.decomp/banjo-kazooie)

Black-Hat-Zig. This project provides some code examples of Zig for malwares, hacking, and red teaming. ⚡

kics2. An implementation of the multi-paradigm declarative language Curry which compiles Curry programs into Haskell programs

Hardware-Target-Game-Database. Flash-cart optimized file and folder layouts.

lean4. Lean 4 programming language and theorem prover

typelits-witnesses. Existential witnesses, singletons, and classes for operations on GHC TypeLits

telescope.hs. Process modern astronomical observations in Haskell (FITS, ASDF, WCS)

ThreadScope. A graphical tool for profiling parallel Haskell programs

dataframe. A fast, safe, and intuitive DataFrame library.

heir. A compiler for homomorphic encryption

direct-file. Direct File

CLASS. Constraint-based Local Assembly and Selection of Splice variants

SwitchWave. Hardware-accelerated media player for the Nintendo Switch

ya-fonts.

ya. Я - extremely composable embeddable programming language

monad. various monads in r6rs scheme

nautilus_trader. Production-grade Rust-native trading engine with deterministic event-driven architecture

fishplot. Create timecourse "fish plots" that show changes in the clonal architecture of tumors

witherable. Filter with effects

Arcade64-EssencePatch. This is a version that was developed to include unofficial support for the ARCADE64 emulator that has not yet been included or recognized to date, which does not allow the incorporation of corrections, new mechanisms and optimization for the system.

libmdbx. Fastfull embedded transactional key-value storage engine ★ Surpasses the legendary LMDB in reliability, capabilities and performance ★ Used in hundreds of open source projects, including Ethereum.

circuit-breaker. Haskell

PWAR. PWAR: PipeWire ASIO Relay — a zero-drift, real-time audio bridge

rrb-vector. An implementation of a Relaxed Radix Balanced Vector in Haskell.

cli. GitHub’s official command line tool

ravanan. High-reproducibility CWL runner powered by Guix

ipswitch. Use text to generate cheats or `.ips` patches to use with Atmosphere.

idris2-scgi. Utilities for writing SCGI servers

idris-records. Extensible, specification backed records.

extrafun. Idris

SwitchBros_BasisPaket. Switch Bros. - The Switch Hacking, Modding and Themes Community!

yek. A fast Rust based tool to serialize text-based files in a repository or directory for LLM consumption

idris2-pact. A type-safe Servant-like web framework

ardupilot. ArduPlane, ArduCopter, ArduRover, ArduSub source

WebGL. The Official Khronos WebGL Repository

WSL. Windows Subsystem for Linux

ic. Internet Computer blockchain source: the client/replica software run by nodes

termux-packages. A package build system for Termux.

EventsGallery. ProjectPokemon Events Gallery

timescaledb. A time-series database for high-performance real-time analytics packaged as a Postgres extension

microbin. A secure, configurable file-sharing and URL shortening web app written in Rust.

chez-soundio. libsoundio bindings for Chez Scheme

purescript. A strongly-typed language that compiles to JavaScript

openssl. General purpose TLS and crypto library

GulfOfMexico. perfect programming language

obs-studio. OBS Studio - Free and open source software for live streaming and screen recording

homebrew_launcher_dummy. Homebrew Launcher Loader - Dummy App

fish-shell. The user-friendly command line shell.

sys-botbase. C

alumina. A general purpose programming language

libultrahand. Expanded libtesla (originally by WerWolv) + libultra libraries for overlay development on the Nintendo Switch

ttc-converter. Tool for converting TTC files to JSON format

PNGShot. Nintendo Switch sysmodule to export screenshots to PNGs

Tera-Finder. PKHeX.Core based program that allows users to view, edit, and calculate Raids and Mass Outbreaks for Pokémon Scarlet & Violet. It is the spiritual successor to SVXoroCalc.

llvm-project. The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

EdiZon-Overlay. EdiZon Overlay originally by WerWolv. Updated for HOS 22.1.0