Pinned Repositories
plonkathon
educational python plonk implementation, based on vitalik's py_plonk
plt
λΠ Programming Language Theory
proc-macro-workshop
Learn to write Rust procedural macros [Rust Latam conference, Montevideo Uruguay, March 2019]
raft
:rowboat: Raft implementation in Go
react-complete-guide-course-resources
React - The Complete Guide Course Resources (Code, Attachments, Slides)
react-native-font-demo
A demo for Android font typeface support in React Native!
react-native-google-nearby-messages
📲 Communicate with nearby devices using Bluetooth, BLE, WiFi and near-ultrasonic audio. Broadcast and receive small payloads (like strings) using the easy-to-use React Native API!
react-native-nfc-rewriter
NFC open reader app in React Native
rn-hce-test
Expo Config Plugin for NFC HCE etc.
tmux-resurrect
Persists tmux environment across system restarts.
forks's Repositories
timmyjose-forks/halo2-analyzer
SMT 2023 Submission; license pending
timmyjose-forks/plonkathon
educational python plonk implementation, based on vitalik's py_plonk
timmyjose-forks/proc-macro-workshop
Learn to write Rust procedural macros [Rust Latam conference, Montevideo Uruguay, March 2019]
timmyjose-forks/react-complete-guide-course-resources
React - The Complete Guide Course Resources (Code, Attachments, Slides)
timmyjose-forks/react-native-font-demo
A demo for Android font typeface support in React Native!
timmyjose-forks/react-native-nfc-rewriter
NFC open reader app in React Native
timmyjose-forks/rn-hce-test
Expo Config Plugin for NFC HCE etc.
timmyjose-forks/rustaceans.org
rustaceans.org
timmyjose-forks/Asynchronous-Programming-in-Rust
Asynchronous Programming in Rust, published by Packt
timmyjose-forks/browser-in-python-book
Web browser engineering (a book)
timmyjose-forks/clap
A full featured, fast Command Line Argument Parser for Rust
timmyjose-forks/coq-of-rust
Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦
timmyjose-forks/CPP-Crash-Course
C++ Crash Course
timmyjose-forks/dslabs
Distributed Systems Labs and Framework
timmyjose-forks/halo2
timmyjose-forks/halo2-examples
Include halo2 example circuits
timmyjose-forks/hammster
Hammster Next.js and Halo2 web app.
timmyjose-forks/HelloSilicon
An introduction to ARM64 assembly on Apple Silicon Macs
timmyjose-forks/intercom-with-expo
timmyjose-forks/linux-0.01
Historically first (actually 0.01) release of linux kernel made by Linus Torvalds
timmyjose-forks/macrokata
Learn Macros In Rust
timmyjose-forks/moonmath-manual
A resource for anyone interested in understanding and unlocking the potential of zk-SNARKs, from beginners to experts.
timmyjose-forks/plaid-rs
Rust client library for Plaid, generated from Plaid's OpenAPI spec
timmyjose-forks/rject
rust cli project.el clone for those leaving emacs
timmyjose-forks/rust-atomics-and-locks
Code examples, data structures, and links from my book, Rust Atomics and Locks.
timmyjose-forks/shiki
A beautiful Syntax Highlighter.
timmyjose-forks/ucblogo-code
Berkeley Logo interpreter
timmyjose-forks/web3-curriculum
Half of the Web3 Curriculum
timmyjose-forks/web3modal-react-native
Web3Modal React-Native SDK
timmyjose-forks/writing-a-c-compiler-tests
Test cases for Writing a C Compiler