Skip to content
@timmyjose-study

study

Pinned Loading

  1. programming-in-haskell programming-in-haskell Public

    Learning Haskell from Graham Hutton's book, "Programming in Haskell" (2nd Edition)

  2. tdd-with-idris tdd-with-idris Public archive

    Idris from the book, "Type-driven development with Idris"

    Idris

Repositories

Showing 10 of 72 repositories
  • write-powerful-rust-macros Public

    Working through the eponymous book by Sam van Overmeire

    timmyjose-study/write-powerful-rust-macros’s past year of commit activity
    Rust 0 0 0 0 Updated Jul 17, 2024
  • hands-on-react Public

    Learing React from the site, "Hands-on React"

    timmyjose-study/hands-on-react’s past year of commit activity
    JavaScript 0 0 0 0 Updated Jun 7, 2024
  • too-many-lists Public

    Working through the book, "Learning Rust with entirely too many linked lists"

    timmyjose-study/too-many-lists’s past year of commit activity
    Rust 0 0 0 0 Updated Jun 7, 2024
  • functional-programming-in-lean Public

    https://leanprover.github.io/functional_programming_in_lean/

    timmyjose-study/functional-programming-in-lean’s past year of commit activity
    Lean 0 0 0 0 Updated May 13, 2024
  • rust-atomics-and-locks Public

    Working through Mara Bos' book, "Rust Atomics and Locks".

    timmyjose-study/rust-atomics-and-locks’s past year of commit activity
    0 0 0 0 Updated Mar 30, 2024
  • react-hooks-demo Public

    Learning React hooks.

    timmyjose-study/react-hooks-demo’s past year of commit activity
    TypeScript 0 0 0 0 Updated Mar 6, 2024
  • weather Public

    A Weather app using expo + RN

    timmyjose-study/weather’s past year of commit activity
    TypeScript 0 0 0 0 Updated Mar 4, 2024
  • learning-react-native-boduch-etal Public

    Learning React Native using the book by Boduch, Derks, and Sakhiuk

    timmyjose-study/learning-react-native-boduch-etal’s past year of commit activity
    0 0 0 0 Updated Feb 11, 2024
  • native-calculator-app Public

    React Native Calculator app with a C++ library.

    timmyjose-study/native-calculator-app’s past year of commit activity
    Java 0 0 0 0 Updated Dec 11, 2023
  • calc-rs Public

    A React Native calculator app with a Rust backend

    timmyjose-study/calc-rs’s past year of commit activity
    0 0 0 0 Updated Dec 9, 2023
View all repositories

Top languages

Loading…

Most used topics

Loading…