An unofficial Idris2 package repository for Nix

cardano-serialization-lib with custom garbage collector for WASM

A responsive layout for Star Trek's LCARS user interface made completely in HTML/CSS/JavaScript.

Forms for Halogen

LambdaBuffers toolkit for sharing types and their semantics between different languages

A work-in-progress PureScript to Plutus Core compiler

Postmodern immutable and persistent data structures for C++ — value semantics at scale

PureScript core tools in Nix

Generate types and converters from JSON, Schema, and GraphQL

Up-to-data version of plutus-scaffold. It's a fuller example utilizing ctl, see the overview in README. This project contains the build systems and scripts needed to scaffold a plutus project quickly.

Datasette running in your browser using WebAssembly and Pyodide

🛠️ ❤️ Want to know NixOS & Flakes in detail? Looking for a beginner-friendly tutorial? Then you've come to the right place! 想要学习使用 NixOS 与 Flakes 吗？在寻找一份新手友好的教程？那你可来对地方了！

📚 Freely available programming books

Send push notifications to your phone or desktop using PUT/POST

iOS App for ntfy

Servo, the embeddable, independent, memory-safe, modular, parallel web rendering engine

Exemplary real world application built with PureScript + Halogen

SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!

Nix configuration for my macOS laptop

Contributed modules for xmonad

❄️ Simplify Nix Flakes with the module system

Safe rust wrapper around CUDA toolkit

Run macOS on QEMU/KVM. With OpenCore + Monterey + Ventura + Sonoma support now! Only commercial (paid) support is available now to avoid spammy issues. No Mac system is required.

Reusable for me atm

Source files for the book "NixOS in Production"

A common place for finding / maintaining configurations of various services of the Cardano eco-system