A modern Prolog implementation written mostly in Rust.

A fully open source node client for Cardano, written in Rust

Open Source Alternative to Vercel, Netlify and Heroku.

terminal mind mapper

The Xous microkernel

The Developer Experience Shell - This repo contains a nix develop shell for haskell. Its primary purpose is to help get a development shell for haskell quickly and across multiple operating systems…

A Cardano to Bitcoin Lightning Network pipe

NixOS modules to aid in configuring NixOS for raspberry pi products

Cardano Blockchain Node

A Nix flake for Tidal Cycles.

Experimental implementation of Eris

❄️ A dead simple Nix flake template repository for Neovim derivations [maintainer=@mrcjkb]

HedgeDoc - Ideas grow better together

Library to easily and effortlessly integrate Cargo projects with Nix.

Rust implementation of Cardano

Self-contained user/group management and authentication service

Configuration files for my NixOS machine, declared by home-manager

A post-modern modal text editor.

Nix Packages collection & NixOS

Web3 Token is a new way to authenticate users in a hybrid dApps using signed messages.

Typed eDSL for writing UPLC /ˈpluː.tɑːk/

A Kubernetes Resource Interface for the Edge

A collection of toy firmwares for the ID115 fitness tracker