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

在原版的基础上修改了显示 VLESS 配置信息转换为订阅内容。使用该脚本，你可以方便地将 VLESS 配置信息使用在线配置转换到 Clash 或 Singbox 等工具中。

Windows inside a Docker container.

Raspberry Pi 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

An EPICS areaDetector driver using the glib aravis library for video acquisition with Genicam cameras

Introduction and tutorials for using the Bmad particle accelerator software suite.

Klipse is a JavaScript plugin for embedding interactive code snippets in tech blogs.

A purely functional programming language with first class types

Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.