onsails

jan

Jan is an open source alternative to ChatGPT that runs 100% offline on your computer. Multiple engine support (llama.cpp, TensorRT-LLM)

Bend

A massively parallel, high-level programming language

leptos

Build fast web applications with Rust.

infisical

♾ Infisical is the open-source secret management platform: Sync secrets across your team/infrastructure, prevent secret leaks, and manage internal PKI

HVM

A massively parallel, optimal functional runtime in Rust

borgo

Borgo is a statically typed language that compiles to Go.

timesfm

TimesFM (Time Series Foundation Model) is a pretrained time-series foundation model developed by Google Research for time-series forecasting.

namada

Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy

gpt-investor

quiet

A private, p2p alternative to Slack and Discord built on Tor & IPFS

awesome-ai-devtools

Curated list of AI-powered developer tools.

lumentis

AI powered one-click comprehensive docs from transcripts and text.

corfu

:desert_island: corfu.el - COmpletion in Region FUnction

nh

Yet another nix cli helper

entropy

Entropy is a CLI tool that will scan your codebase for high entropy lines, which are often secrets.

impersonator

Login into dapps by impersonating any Ethereum address via WalletConnect or iFrame!

gbdt-rs

MesaTEE GBDT-RS : a fast and secure GBDT library, supporting TEEs such as Intel SGX and ARM TrustZone

wrapper-manager

Post-modern configuration management

weval

brew-nix

Experimental nix expression to package all MacOS casks from homebrew automatically

rippkgs

A CLI for indexing and searching packages in Nix expressions

haqq-wallet

dlink

dymension-rdk

Framework for building highly scalable RollApps

circuits

Circom circuits used by the iden3 core protocol.

shoji-nix

Manage your SSH keys with Nix

CUDA-GPU-Brute-Force-Mnemonic-Ethereum

Brute Force Mnemonic Ethereum on GPU(CUDA)

nix-companies

Curated list of companies that use Nix / NixOS in production

tickets

geodec

Measure the cost of geographical decentralization.