Haskell implemented with combinators

A 2D wave simulator running on the GPU. Can be used for 2D light and sound simulations.

A programming language for the CPython VM.

Decompilation of Castlevania: Symphony of the Night (PSX, PSP, Saturn)

Build, package, deploy IOCs and EPICS-related software by using the Nix package manager

A community-led docker container for RaspAP

JavaScript bindings for MuPDF

edgetunnel2 VLESS/Trojan/SS 多功能面板

Windows inside a Docker container.

Raspberry Pi Zero2 Specific flakes for NixOS

NixOS on WSL [maintainer=@nzbr]

Geometric Algebra for Python

Geometric algebra in JAX and numpy

Crack para Sublime Text y Merge

bi-directional tangle daemon for literate programming

史記

PyMuPDF is a high performance Python library for data extraction, analysis, conversion & manipulation of PDF (and other) documents.

Defines a common protocol for language servers.

A Python backed for Idris 2

🖥 Control your display's brightness & volume on your Mac as if it was a native Apple Display. Use Apple Keyboard keys or custom shortcuts. Shows the native macOS OSDs.

Idris version of Domain Modeling Made Functional Book.

Dhall bindings for Idris

EPICS CA Web Gateway

React Automation Studio is a new software platform to enable the control of large scientific equipment through EPICS.

Long list of geospatial tools and resources

SPLV20 course notes

A vision library for genicam based cameras