xRuiAlves / FEUP-MNUM-TPsLinks
Sample implementations of various numerical methods approached in the Curicular Unit "Métodos Numéricos" @MIEIC, FEUP
☆10Updated 7 years ago
Alternatives and similar repositories for FEUP-MNUM-TPs
Users that are interested in FEUP-MNUM-TPs are comparing it to the libraries listed below
Sorting:
- ☆57Updated 5 years ago
- Artificial Intelligence Course - Summaries, Exams, Minitests and Comic Sans☆22Updated 7 years ago
- ☕ An overly detailed and somewhat deranged report of an infamous NVending malfunction incident.☆13Updated 6 years ago
- "Hawkins" is an open-source, competitive Chess AI powered by multiple tree search algorithms.☆21Updated 4 years ago
- The sigarra scraping library no one asked for☆14Updated 2 years ago
- Redes de Computadores☆21Updated 4 years ago
- Laboratório de Computadores (LCOM) documentation and exercises. LEIC, Year 2, Semester 2.☆101Updated 7 months ago
- 💶An opinionated down-to-earth take on Engineering "Job" Market of Porto, Portugal 💶☆24Updated 6 years ago
- [BACKEND] A platform for companies to advertise their job opportunities to students☆18Updated last year
- 😷 A(nother) minimal dashboard tracking and predicting the COVID-19 pandemic spread in Portugal.☆15Updated 4 years ago
- ☆10Updated 3 years ago
- A fast and modern parser combinator library for Scala☆201Updated last month
- Notes for first year Computing at Imperial College London☆53Updated 3 years ago
- problems from codeforces solved in haskell☆12Updated 6 years ago
- A collection of templates and solutions for Competitive Programming in Haskell☆29Updated 4 years ago
- Aulas práticas UM CP19-20☆10Updated 5 years ago
- Verification framework and tool for higher-order Scala programs☆387Updated last week
- A complete collection of my undergraduate notes☆34Updated 3 years ago
- A systems theorem prover☆12Updated last year
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.☆137Updated 3 years ago
- A browser extension to improve the Sigarra user experience☆16Updated 4 months ago
- Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️☆276Updated 4 years ago
- A wiki for collaborative work on totally legitimate "category theory"☆126Updated last year
- ☆16Updated last year
- Solutions for the book "Language Proof and Logic".☆75Updated last year
- A selection of textbook-like course notes for the Imperial College Computing modules.☆89Updated last year
- Tree Proof Generator☆175Updated 8 months ago
- ☆20Updated 3 years ago
- Data structures and algorithms for competitive programming in Haskell☆16Updated last year
- Modal Logic Library in Coq☆16Updated 3 years ago