Skip to content
@timmyjose-experiments

experiments

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 78 repositories
  • backups-poc Public

    Testing backup strategies for RN expo app

    timmyjose-experiments/backups-poc’s past year of commit activity
    TypeScript 0 0 0 0 Updated Oct 21, 2024
  • eas-tests-example Public

    Using maestro to run custom tests on a set of Android emulators and iOS simulators

    timmyjose-experiments/eas-tests-example’s past year of commit activity
    TypeScript 0 0 0 0 Updated Oct 16, 2024
  • modal-experiments Public

    Experiments in creating a Bottom Sheet in React Native (expo)

    timmyjose-experiments/modal-experiments’s past year of commit activity
    TypeScript 0 0 0 0 Updated Sep 27, 2024
  • write-powerful-rust-macros Public

    Working through the eponymous book by Sam van Overmeire

    timmyjose-experiments/write-powerful-rust-macros’s past year of commit activity
    Rust 0 0 0 0 Updated Sep 25, 2024
  • advanced-react Public

    Mastering React concepts from the official docs

    timmyjose-experiments/advanced-react’s past year of commit activity
    TypeScript 0 0 0 0 Updated Sep 18, 2024
  • the-complete-developer Public

    Working through the book, "The Complete Developer" by Martin Krause

    timmyjose-experiments/the-complete-developer’s past year of commit activity
    JavaScript 0 0 0 0 Updated Sep 11, 2024
  • expo-deeplinking-demo Public

    Deep LInks demo using an expo RN (CNG) app and React Navigation

    timmyjose-experiments/expo-deeplinking-demo’s past year of commit activity
    TypeScript 0 0 0 0 Updated Aug 31, 2024
  • hands-on-react Public

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

    timmyjose-experiments/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-experiments/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-experiments/functional-programming-in-lean’s past year of commit activity
    Lean 0 0 0 0 Updated May 13, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…