Highlights
- Pro
Stars
dioxus 0.6.0 fullstack example with a flake.nix to build it
Talk to God on up to 64 cores. Final snapshot of the Third Temple.
development of fishy game. should be run together with the database server.
A static verifier for Rust, based on the Viper verification infrastructure.
Svelte + Effect + Nix template. Reproducible builds, tests, dev environment, formatting.
Bible written in swiftUI that can only show the dutch "Statenvertaling bijbel" translation
Bible versions and cross-reference databases.
π§° The Rust SQL Toolkit. An async, pure Rust SQL crate featuring compile-time checked queries without a DSL. Supports PostgreSQL, MySQL, and SQLite.
Collection of comprehensive TypeScript libraries for blockchain development on Cardano.
A modern smart contract platform for Cardano
AeroSpace is an i3-like tiling window manager for macOS
The trust-minimized, zero-knowledge bridging protocol, designed for censorship resistance, extremely high security, and usage in decentralized finance.
Yoroi - Your Cardano entry point for joining the ecosystem, whether as developer or user.
π π The MetaMask browser extension enables browsing Ethereum blockchain enabled websites
NIx Language server, an incremental analysis assistant for writing in Nix.
π₯ Blazing fast terminal file manager written in Rust, based on async I/O.
[GPLv3+] install nixos over the existing OS in a DigitalOcean droplet (and others with minor modifications)
Lightweight, interactive screen reader for Emacs
The core component that is used to participate in a Cardano decentralised blockchain.
This repository contains sources for the command-line interface (CLI) tool for interacting with the Cardano blockchain.