pindaroso Goto Github PK

anchor

⚓ Solana Sealevel Framework

bentobox

bert

TensorFlow code and pre-trained models for BERT

bitcoin

Bitcoin Core integration/staging tree

bitcoin-arbitrage

Bitcoin arbitrage - opportunity detector

blackbird

Blackbird Bitcoin Arbitrage: a long/short market-neutral strategy

bulletproofs

Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup

caadapter

caAdapter provides model mapping, data mapping and transformation services among data sources like HL7 and Regulatory Data Sets.

category-theory

A formalization of category theory in Coq for personal study and practical work

cherub-protocol

Inverse Perpetuals DAO (3, 3)

cldr-json

JSON Data from the Unicode CLDR Project

coinmarketcap

A coinmarketcap.com API client for Haskell

compute.rhino3d

REST geometry server based on RhinoCommon and headless Rhino

constellation

Peer-to-peer encrypted message exchange

coqast

Fun plugin to play with the Gallina AST.

cpdt

Certified Programming with Dependent Types - examples, learning material.

dapp-scaffold

dexter

Forensics acquisition framework designed to be extensible and secure

dexterity

Reference implementation of a decentralized exchange for custom instruments, risk, and fees

docker-coq

Dockerized Coq Image

docker-stack

Stack and Nix docker image using minimal Debian base

dotfiles

dynamo

Open Source Graphical Programming for Design

emmy

Library for zero-knowledge proof based applications (like anonymous credentials)

eth-isabelle

A Lem formalization of EVM and some Isabelle/HOL proofs

ethereum-analyzer

An Ethereum contract analyzer.

ethereum-formal-verification-overview

The start page about my efforts around smart contract verification

evmverif

An EVM code verification framework in Coq

examples

Example programs built on the Clockwork automation network

fhir

FHIR Protocol Buffers