pindaroso Goto Github PK
Name: Pindaroso
Type: User
Bio: Trader, crypto engineer and co-founder at Convergence RFQ
Twitter: pindarosothecat
Location: NYC
Name: Pindaroso
Type: User
Bio: Trader, crypto engineer and co-founder at Convergence RFQ
Twitter: pindarosothecat
Location: NYC
⚓ Solana Sealevel Framework
TensorFlow code and pre-trained models for BERT
Bitcoin Core integration/staging tree
Bitcoin arbitrage - opportunity detector
Blackbird Bitcoin Arbitrage: a long/short market-neutral strategy
Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup
caAdapter provides model mapping, data mapping and transformation services among data sources like HL7 and Regulatory Data Sets.
A formalization of category theory in Coq for personal study and practical work
Inverse Perpetuals DAO (3, 3)
JSON Data from the Unicode CLDR Project
A coinmarketcap.com API client for Haskell
REST geometry server based on RhinoCommon and headless Rhino
Peer-to-peer encrypted message exchange
Fun plugin to play with the Gallina AST.
Certified Programming with Dependent Types - examples, learning material.
Forensics acquisition framework designed to be extensible and secure
Reference implementation of a decentralized exchange for custom instruments, risk, and fees
Dockerized Coq Image
Stack and Nix docker image using minimal Debian base
Open Source Graphical Programming for Design
Library for zero-knowledge proof based applications (like anonymous credentials)
A Lem formalization of EVM and some Isabelle/HOL proofs
An Ethereum contract analyzer.
The start page about my efforts around smart contract verification
An EVM code verification framework in Coq
Example programs built on the Clockwork automation network
FHIR Protocol Buffers
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.