Skip to content

@timmyjose-forks forks

Change the repository type filter

All

    Repositories list

    77 repositories

    • writing-a-c-compiler-tests

      Public
      Test cases for Writing a C Compiler
      C
      •
      Other
      •18•0•0•0•Updated Sep 12, 2024Sep 12, 2024

    • dslabs

      Public
      Distributed Systems Labs and Framework
      Java
      •339•0•0•0•Updated Sep 6, 2024Sep 6, 2024

    • CPP-Crash-Course

      Public
      C++ Crash Course
      C++
      •
      MIT License
      •126•0•0•0•Updated Aug 28, 2024Aug 28, 2024

    • web3modal-react-native

      Public
      Web3Modal React-Native SDK
      TypeScript
      •
      Apache License 2.0
      •18•0•0•0•Updated Aug 27, 2024Aug 27, 2024

    • coq-of-rust

      Public
      Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦
      Coq
      •
      GNU Affero General Public License v3.0
      •14•0•0•0•Updated Aug 7, 2024Aug 7, 2024

    • browser-in-python-book

      Public
      Web browser engineering (a book)
      JavaScript
      •
      MIT License
      •63•0•0•0•Updated Jul 19, 2024Jul 19, 2024

    • react-native-nfc-rewriter

      Public
      NFC open reader app in React Native
      JavaScript
      •
      MIT License
      •81•0•0•0•Updated Jul 11, 2024Jul 11, 2024

    • react-complete-guide-course-resources

      Public
      React - The Complete Guide Course Resources (Code, Attachments, Slides)
      JavaScript
      •1.7k•0•0•0•Updated Jun 28, 2024Jun 28, 2024

    • HelloSilicon

      Public
      An introduction to ARM64 assembly on Apple Silicon Macs
      Assembly
      •
      MIT License
      •284•0•0•0•Updated Apr 9, 2024Apr 9, 2024

    • Asynchronous-Programming-in-Rust

      Public
      Asynchronous Programming in Rust, published by Packt
      Rust
      •
      MIT License
      •50•0•0•0•Updated Mar 5, 2024Mar 5, 2024

    • linux-0.01

      Public
      Historically first (actually 0.01) release of linux kernel made by Linus Torvalds
      C
      •335•0•0•0•Updated Feb 20, 2024Feb 20, 2024

    • intercom-with-expo

      Public
      JavaScript
      •1•0•0•0•Updated Feb 10, 2024Feb 10, 2024

    • react-native-font-demo

      Public
      A demo for Android font typeface support in React Native!
      Java
      •12•0•0•0•Updated Feb 1, 2024Feb 1, 2024

    • ucblogo-code

      Public
      Berkeley Logo interpreter
      C
      •
      GNU General Public License v3.0
      •34•0•0•0•Updated Jan 23, 2024Jan 23, 2024

    • plaid-rs

      Public
      Rust client library for Plaid, generated from Plaid's OpenAPI spec
      Rust
      •
      MIT License
      •6•0•0•0•Updated Jan 22, 2024Jan 22, 2024

    • rn-hce-test

      Public
      Expo Config Plugin for NFC HCE etc.
      JavaScript
      •
      MIT License
      •2•0•0•0•Updated Jan 5, 2024Jan 5, 2024

    • halo2

      Public
      Rust
      •
      Other
      •491•0•0•0•Updated Oct 19, 2023Oct 19, 2023

    • halo2-examples

      Public
      Include halo2 example circuits
      Rust
      •43•0•0•0•Updated Oct 16, 2023Oct 16, 2023

    • shiki

      Public
      A beautiful Syntax Highlighter.
      TypeScript
      •
      MIT License
      •361•0•0•0•Updated Sep 22, 2023Sep 22, 2023

    • moonmath-manual

      Public
      A resource for anyone interested in understanding and unlocking the potential of zk-SNARKs, from beginners to experts.
      TeX
      •
      Other
      •86•0•0•0•Updated Sep 19, 2023Sep 19, 2023

    • macrokata

      Public
      Learn Macros In Rust
      Rust
      •
      Apache License 2.0
      •65•0•0•0•Updated Sep 7, 2023Sep 7, 2023

    • proc-macro-workshop

      Public
      Learn to write Rust procedural macros  [Rust Latam conference, Montevideo Uruguay, March 2019]
      Rust
      •
      Apache License 2.0
      •1k•0•0•0•Updated Sep 5, 2023Sep 5, 2023

    • halo2-analyzer

      Public
      SMT 2023 Submission; license pending
      Rust
      •10•0•0•0•Updated Aug 24, 2023Aug 24, 2023

    • plonkathon

      Public
      educational python plonk implementation, based on vitalik's py_plonk
      Python
      •87•0•0•0•Updated Jul 28, 2023Jul 28, 2023

    • rject

      Public
      rust cli project.el clone for those leaving emacs
      Rust
      •2•0•0•0•Updated Jul 3, 2023Jul 3, 2023

    • clap

      Public
      A full featured, fast Command Line Argument Parser for Rust
      Rust
      •
      Apache License 2.0
      •1k•0•0•0•Updated Jun 14, 2023Jun 14, 2023

    • web3-curriculum

      Public
      Half of the Web3 Curriculum
      JavaScript
      •
      BSD 3-Clause "New" or "Revised" License
      •76•0•0•0•Updated Jun 6, 2023Jun 6, 2023

    • hammster

      Public
      Hammster Next.js and Halo2 web app.
      Rust
      •3•0•0•0•Updated May 21, 2023May 21, 2023

    • rust-atomics-and-locks

      Public
      Code examples, data structures, and links from my book, Rust Atomics and Locks.
      Rust
      •
      Other
      •119•0•0•0•Updated May 7, 2023May 7, 2023

    • rustaceans.org

      Public
      rustaceans.org
      425•0•0•0•Updated May 4, 2023May 4, 2023