Beast code in Giters

Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).

Language:NimNOASSERTION1641300

constantine

Constantine: modular, high-performance, zero-dependency cryptography stack for verifiable computation, proof systems and blockchain protocols.

Language:NimNOASSERTION38700

ohmyzsh

🙃 A delightful community-driven (with 2,300+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python, etc), 140+ themes to spice up your morning, and an auto-update tool that makes it easy to keep up with the latest updates from the community.

Language:ShellMIT17235100

awesome-farcaster

A collection of awesome Farcaster links including clients, tools, and more.

73400

egui

egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native

Language:RustApache-2.02160300

NetNewsWire

RSS reader for macOS and iOS.

Language:SwiftMIT821900

quivr

Open-source RAG Framework for building GenAI Second Brains 🧠 Build productivity assistant (RAG) ⚡️🤖 Chat with your docs (PDF, CSV, ...) & apps using Langchain, GPT 3.5 / 4 turbo, Private, Anthropic, VertexAI, Ollama, LLMs, Groq that you can share with users ! Efficient retrieval augmented generation framework

Language:PythonNOASSERTION3589100

jolt

The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡

Language:RustMIT63500

risc0

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

Language:C++Apache-2.0160800

lurk-beta

Lurk is a Turing-complete programming language for recursive zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.

Language:RustApache-2.042700