jorgeantonio21 Goto Github PK

agent_dingo

A microframework for creating simple AI agents.

agentops

Python SDK for agent evals and observability

agents

An Open-source Framework for Autonomous Language Agents

arbitrum

Powers fast, private, decentralized applications

awesome-zero-knowledge-proofs

A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).

axiom-scaffold

An on-ramp to writing your own zk-app using Axiom

bellperson

zk-SNARK library

binnks

A crypto currency

bitcoin

Bitcoin Core integration/staging tree

bitsandbytes

Accessible large language models via k-bit quantization for PyTorch.

bonsai-starter-template

bulletproofs-plus

burn

BURN: Burn Unstoppable Rusty Neurons

cairo

Cairo is the first Turing-complete language for creating provable programs for general computation.

cairo-lang

candle

Minimalist ML framework for Rust

cardano-node

The core component that is used to participate in a Cardano decentralised blockchain.

cargo

The Rust package manager

cdks

Context Driven Knowledge service ingestion

chaum-pedersen-client-server-authentication

Pedersen-Chaum protocol for client server authentication

community-scrypto-examples

A place for the community to upload example Scrypto code

cryptocointraderi

cudarc

Safe rust wrapper around CUDA toolkit

curve25519-dalek

A pure-Rust implementation of group operations on Ristretto and Curve25519

cv

A detailed resume

derived_rig_cohomology

A study on derived rigid cohomology for possibly singular varieties over perfect fields of positive characteristic

electrs

An efficient re-implementation of Electrum Server in Rust

ethstark

eudico

lotus, but also other things

eureka-tasks

Task expansion into durable workflow for Search Node