louayfarah

louayfarah's Stars

• AmishaChordia/FastAPI-PostgreSQL-Docker

  FastAPI using PostgreSQL DB

  Language:Python4921

• louayfarah/Space-Invaders-game-simulation-in-Haskell-using-Codeworld-library

  Language:Haskell1

• louayfarah/Complete-DFSA-to-RegExp-Translator

  Language:C++1

• louayfarah/Finite-State-Machine-validator

  Language:C++1

• louayfarah/Music-Generation-using-Genetic-Algorithms-with-chord-progressions-as-fitness-criteria

  Language:Python1

• fizruk/SymmetryBook

  This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.

  1

• louayfarah/Least-Square-Approximation-Implementation-and-Model-Test

  We test the least square approximation by plotting a cloud of 15 points and building a polynomial of degree 4 accordingly.

  Language:C++1

• louayfarah/100-random-Codeforces-problems

  Language:C++1

• louayfarah/Predator-Prey-Model-with-Plotting

  Language:C++1

• louayfarah/louayfarah

  Config files for my GitHub profile.

  1

• louayfarah/Data-Structures-and-Algorithms-Course-Weekly-Problems-in-Cpp

  Language:C++1

• louayfarah/Advanced-Calculator-Implementation-with-Java

  Language:Java1

• louayfarah/Balanced-Delimiters

  Language:C++1

• louayfarah/Accounting-Program-for-a-Cafe-in-Cpp

  Language:C++1

• louayfarah/Binance-user-order-creation-using-testnet-API

  Language:Python1

• louayfarah/Many-Segments-Intersection-Problem-with-AVL-Tree-in-Cpp

  Language:C++1

• louayfarah/Music-Generation-based-on-the-Godfather-music-theme-using-Markov-Chains-and-music21-Python-library

  Language:Python1

• equilicore/see-and-tell

  See and Tell | Assistant to Experience Video Content With Ears

  Language:Python201

• emilyriehl/yoneda

  comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories

  Language:Lean606

• itp-school-2023/itp-school-2023.github.io

  The International Summer School on Interactions of Proof Assistants and Mathematics 2023

  Language:Agda71

• dmjio/typed-interpolation

  Type-level interpolations in various forms

  Language:Haskell12

• dwarfmaster/commutative-diagrams

  A coq plugin to deal with commutative diagrams

  Language:Rust201

• rzk-lang/rzk

  An experimental proof assistant based on a type theory for synthetic ∞-categories.

  Language:Haskell21411

• IU-PR/TCS_labs

  This is a repo of TCS course at the Innopolis University. Feel free to contribute!

  Language:HTML61

• Lukmanovr/TCS_labs

  Language:HTML22