Pinned Repositories
dfnhack7
DFINITY hackathon 2021 Team 7
docker-rosario
A Dockerfile that installs the latest RosarioSIS.
dparser
A Scannerless GLR parser/parser generater.
envoy-wasm
Playground for Envoy WASM filter
ic-certified-blockchain
A certified blockchain in a canister smart contract on the IC.
iceth
ETH for the IC
icfront
ifa
IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis researchers.
plib
Common Functions for use by VZ, IFA, PYC
pyc
Experimental Python compiler.
jplevyak's Repositories
jplevyak/dparser
A Scannerless GLR parser/parser generater.
jplevyak/icfront
jplevyak/iceth
ETH for the IC
jplevyak/ic-certified-blockchain
A certified blockchain in a canister smart contract on the IC.
jplevyak/ac23
Advent of code 2023
jplevyak/ac24
jplevyak/add_custom_section
jplevyak/agent-rs
A collection of libraries and tools for building software around the Internet Computer, in Rust.
jplevyak/awesome-internet-computer
A curated list of awesome projects and resources relating to the Internet Computer Protocol
jplevyak/borsh-rs
Rust implementation of Binary Object Representation Serializer for Hashing
jplevyak/canistersig
Example of validating canister signatures.
jplevyak/cdk-rs
Rust canister development kit for the Internet Computer.
jplevyak/certified-assets
A certified assets canister written in Rust.
jplevyak/dkg
distributed key generation in JS
jplevyak/examples
Example applications, microservices, and code samples for the Internet Computer
jplevyak/FoxIC
A supernova hackathon project
jplevyak/h2_example
jplevyak/ic-hs
A haskell toolbox for the Internet Computer
jplevyak/ic-icpone
ICP One Backend
jplevyak/ic-jury
A random jury system for the Internet Computer Protocol.
jplevyak/ic-web3
Ethereum RPC client for canisters on the IC
jplevyak/ICIPs
Internet Computer Improvement Proposal
jplevyak/ICSnap
A snap plugin for MetaMask
jplevyak/interface-spec
IC Interface Specification
jplevyak/jplevyak
jplevyak/quill
Minimalistic governance & ledger toolkit for cold wallets
jplevyak/rs-merkle
The most advanced Merkle tree library for Rust
jplevyak/rust-openssl
OpenSSL bindings for Rust
jplevyak/sdm-backend
Backend server for Secure Dynamic Messaging (SDM). Supports decryption of PICCData, SDMENCFileData, and validation of SDMMAC. Compatible with NTAG 424 DNA (both variants). Written in Python 3 Flask. Pull requests welcome.
jplevyak/stable-structures
A collection of data structures for fearless canister upgrades.