Alternatives and similar repositories for FEUP-MNUM-TPs

Users that are interested in FEUP-MNUM-TPs are comparing it to the libraries listed below

• msramalho / feup-iart-summary
  Artificial Intelligence Course - Summaries, Exams, Minitests and Comic Sans
  ☆22Updated 7 years ago
• msramalho / sigpy
  🔨 Python Module: Sigarra API based on Recursive Web Scraping Parser (wtf)
  ☆21Updated 3 years ago
• j-mie6 / parsley
  A fast and modern parser combinator library for Scala
  ☆204Updated last week
• JacintoCC / Discurso-DGIIM-11-16
  Discurso colaborativo para la graduación de la promoción 11-16 del DGIIM
  ☆11Updated 9 years ago
• bdmendes / smockito
  Tiny Scala facade for Mockito.
  ☆28Updated last week
• thomaseding / mtg-pure
  Purely functional Haskell "Magic: The Gathering" card model and game engine.
  ☆14Updated last year
• sgillespie / lambda-calculator
  A simple implementation of the untyped lambda calculus
  ☆10Updated 2 years ago
• andreshp / math-notes
  Apuntes de las asignaturas de matemáticas en la UGR
  ☆16Updated 7 years ago
• davidrusu / MonadSweeper
  Minesweeper writtin in Haskell
  ☆39Updated 11 years ago
• mua-uniandes / subjects_material
  Material developed to teach different competitive programming topics
  ☆17Updated last year
• mroman42 / ctlc
  (λ) Category theory and lambda calculus, Bachelor's thesis
  ☆42Updated 7 years ago
• VirtusLab / Inkuire
  Hoogle-like searches for Scala 3 and Kotlin
  ☆92Updated last year
• tsoding / ficktoberfest
  Just silently mark all of the newly submitted PRs with "invalid" label
  ☆17Updated 4 years ago
• jordanspooner / ic-first-year-notes
  Notes for first year Computing at Imperial College London
  ☆54Updated 3 years ago
• ranea / TFG
  Trabajo Fin de Grado: Curvas Elípticas en Criptografía
  ☆10Updated 9 years ago
• rzach / forallx-yyc
  UCalgary version of forallx, an introduction to formal logic
  ☆115Updated 2 weeks ago
• Alastair-Carr / Natural-Deduction-Pack
  Set of problems and solutions in Natural Deduction for use with Volker Halbach's "The Logic Manual"
  ☆13Updated 7 years ago
• melvic-ybanez / chi
  A function code generator and an isomorphism analyzer
  ☆39Updated 3 years ago
• mx-psi / tfg
  Repositorio para mi TFG
  ☆15Updated 5 years ago
• urbanophile / awesome-sat-solvers
  A curated collection of resources for the Boolean Satisfiability Problem (SAT).
  ☆31Updated last month
• epfl-lara / stainless
  Verification framework and tool for higher-order Scala programs
  ☆390Updated last week
• gapt / gapt
  GAPT: General Architecture for Proof Theory
  ☆106Updated 3 weeks ago
• DGIIMUnderground / DGIIM1
  Repositorio de apuntes para el primer curso del Doble Grado de Ingeniería Informática y Matemáticas
  ☆39Updated 2 years ago
• maneatingape / advent-of-code-scala
  Complete 2022 to 2015 entries for the annual Advent of Code challenge, written in concise idiomatic functional Scala.
  ☆32Updated last year
• bjornregnell / the-future-software-engineer
  Talk by Prof. Björn Regnell at Foo Café 12th anniversary, 2024 August 27.
  ☆23Updated last year
• libreim / haskell
  Recursos de Haskell
  ☆19Updated 6 years ago
• typelevel / cats-parse
  A parsing library for the cats ecosystem
  ☆245Updated last week
• Carnap / Carnap
  A formal logic framework that runs in the browser
  ☆322Updated last year
• anurudhp / CPHaskell
  A collection of templates and solutions for Competitive Programming in Haskell
  ☆29Updated 4 years ago
• tofu-tf / shalter
  ☆12Updated last year