Pinned Repositories
blockifier
Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs and blocks.
cyc-ke-mode
cyc knowledge entry/editing mode
dumb-webvr-cljs
an attempt to make the dumbest possible webvr example in clojurescript
jhnn.gstreamer-editing-services.ffi
common lisp ffi bindings to gstreamer editing services
minimal-cljs-esm-for-emacs-ng
a refreshingly boring example repo to get cljs in your emacs-ng
om-websocket
a simple om component for a websocket connection
showtime
queues for uis
simpler-introductions
dev setup examples that prioritize Time to Tinker
jobez's Repositories
jobez/blockifier
Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs and blocks.
jobez/zk-kr
knowledge graph around a zk cairo bootcamp
jobez/04-jhnn-browser-ui
mina tutorial #4
jobez/aitia
explorational/educational datalog engine in zig
jobez/arecibo
jobez/bellpepper
SNARK Circuit library
jobez/bw-tictactoe
bitwise tictactoe in cairo on starknet
jobez/cairo-ecs
jobez/cairo-rs
cairo-rs is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly. Cairo and similar proof systems can be used to provide scalability to blockchains.
jobez/cairo-vm_in_go
cairo-vm_in_go is a Go implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
jobez/cairo-zig
⚡ Cairo VM in Zig ⚡
jobez/CairoBootcamp
Repo for the Encode Cairo 5 week bootcamp
jobez/dojo
Dojo is a verifiable game engine and toolchain for building onchain games and autonomous worlds with Cairo 1.0.
jobez/ef-tests
Test runner for ethereum foundation tests
jobez/eth_tests_with_post
experiment in having general state tests with post state, as generated by geth tracing
jobez/hey-sway
experiment with fuelvm
jobez/internet-computer-land
adventures in building dapps
jobez/kakarot
ZK-EVM type 3 written in Cairo, leveraging STARK proof system.
jobez/kakarot-rpc
Kakarot ZK EVM Ethereum RPC adapter
jobez/kakarot-ssj
Kakarot ZK-EVM in Cairo 1.0 🐺 ⚡
jobez/lurk-rs
Lurk is a Turing-complete programming language for recursive zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.
jobez/madara
🥷🩸 Madara is a ⚡ blazing fast ⚡ Starknet sequencer, based on substrate, powered by Rust 🦀
jobez/neptune
Rust Poseidon implementation.
jobez/ng-questplay
jobez/overlore
jobez/stark-anatomy
Translation of the "Anatomy of a STARK" Python code to Rust
jobez/starklings
An interactive tutorial to get you up and running with Starknet
jobez/subspace
PKM + REPL + AI
jobez/ziglings
Learn the Zig programming language by fixing tiny broken programs.
jobez/zkiap_exercises
doing zkiap exercises in zig, because i like the letter z