binadamu-isiyoonekana Goto Github PK

.github

Autonomy Organisation

3d-pie-chart

Raphael 3D pie chart

acala

Acala - cross-chain DeFi hub and stablecoin based on Substrate for Polkadot and Kusama.

adhocracy4

The core library for the e-participation projects by Liquid Democracy

agents.jl

Agent-based modeling framework in Julia

agora

Deliberative democracy in the digital age

aktionariat_smart_contracts

The public repository for all smart contracts used by Aktionariat.

algebra

Libraries for finite field, elliptic curve, and polynomial arithmetic

anoma

Reference implementation of the Anoma protocols in Rust.

apko

Build OCI images from APK packages directly without Dockerfile

aptos-core

Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience.

arangodb

🥑 ArangoDB is a native multi-model database with flexible data models for documents, graphs, and key-values. Build high performance applications using a convenient SQL-like query language or JavaScript extensions.

arend

The Arend Proof Assistant

arkmsm

automatedkantianethics

This repository contains source code for my senior thesis, titled "Automated Kantian Ethics" and advised by Professor Nada Amin and Dr. William Cochran.

awesome-folding

A curated list of zero-knowledge folding schemes

awesome-roslyn

Curated list of awesome Roslyn books, tutorials, open-source projects, analyzers, code fixes, refactorings, and source generators

awsm

WebAssembly ahead-of-time compiler and runtime. Focuses on generating fast code, simplicity, and portability.

axum-yew-setup

A starter project that sets up axum and yew for full stack Rust web apps.

aztec-nr

blaze

blaze is a Rust library for ZK acceleration on Xilinx FPGAs.

blockchain-consensus

List of all blockchain consensus algorithms

blockless

b7s is the blockless worker/node daemon

bloqade-python

pre-release of Bloqade SDK for Python

bolero

property testing and verification front-end for Rust

boneh-lynn-shacham-sig

Aggregatable Boneh-Lynn-Shacham (BLS) sigantures

bono

Quantum visualizer

bqfl

Blockchain-based Quantum Federated Learning

cadcad

Design, simulate, validate, and operate within complex systems

cardano-formal-ledger-specifications-agda

Formal specifications of the cardano ledger