yct21

zed

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

wezterm

A GPU-accelerated cross-platform terminal emulator and multiplexer written by @wez and implemented in Rust

yazi

💥 Blazing fast terminal file manager written in Rust, based on async I/O.

Pluto.jl

🎈 Simple reactive notebooks for Julia

pueue

:stars: Manage your shell commands.

anchor

⚓ Solana Sealevel Framework

salvo

A powerful web framework built with a simplified design.

Idris2

A purely functional programming language with first class types

flox

Developer environments you can take with you

nixos-and-flakes-book

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

cargo-chef

A cargo-subcommand to speed up Rust Docker builds using Docker layer caching.

proptest

Hypothesis-like property testing for Rust

bumpalo

A fast bump allocation arena for Rust

steel

An embedded scheme interpreter in Rust

attic

Multi-tenant Nix Binary Cache

halo2

The Halo2 zero-knowledge proving system

jlrs

Julia bindings for Rust

std

A DevOps framework for the SDLC with the power of Nix and Flakes. Good for keeping deadlines!

plonk

A pure Rust PLONK implementation using arkworks as a backend.

racket-langserver

Nemo.jl

Julia bindings for various mathematical libraries (including flint2)

AbstractAlgebra.jl

Generic abstract algebra functionality in pure Julia (no C dependencies)

crypto-primitives

Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them

calcit

Indentation-based ClojureScript dialect in Rust and compiling to JavaScript ES Modules

PropCheck.jl

A package for simple property based testing in julia.

zkbrainfuck

A Brainfuck zkVM with Circom.

zk-draw

Verifiable Random Draw

manyhow

EllipticCurves.jl

rust_async_runtime

minimal example to explore rust async runtime concept. The articles https://medium.com/@gftea/list/async-rust-43d86f0179ef