thorehusfeldt / algdes-labsLinks
Programming exercises for algorithm design
☆47Updated 2 years ago
Alternatives and similar repositories for algdes-labs
Users that are interested in algdes-labs are comparing it to the libraries listed below
Sorting:
- The official website of Code@LTH☆17Updated last month
- Laborations for EDAF05 Algorithms, Data Structures and Complexity, held at LTH.☆13Updated 4 years ago
- Courseography is a tool created by David Liu and Ian Stewart-Binks to guide students through their undergraduate careers.☆68Updated last week
- Extentor, sammanfattningar och dylikt för Civilingenjörsprogrammet Datateknik vid LTH.☆123Updated 3 years ago
- Teaching material for "Introduction to Programming using Scala" at Lund University, LTH.☆142Updated this week
- A native Python library for permutation pattern research☆16Updated 2 months ago
- My C# .NET solutions to the ever popular Advent of Code☆22Updated this week
- ☆30Updated 6 years ago
- ☆16Updated last year
- Live, generative music from Wikipedia edits☆851Updated last year
- Kattis online judge command line tool☆58Updated 5 months ago
- ☆344Updated 7 years ago
- Formalizations of Gödel's Ontological Proof of God's Existence☆457Updated 6 years ago
- Setanta - Teanga Ríomhchlárúcháin as Gaeilge - Irish Programming Language☆95Updated last year
- Deep Learning in Haskell☆1,451Updated last year
- A collection of information, notes and resources about courses given at the institute of computer science (DIKU) at University of Copenha…☆138Updated last year
- Chrome extension to flag fake news on Facebook. Built at HackPrinceton '16☆746Updated 5 years ago
- A list of stuff I should be reading☆15Updated 4 years ago
- A listing of all the subgroups of Hackathon Hackers☆217Updated 8 years ago
- Homomorphic machine learning☆1,679Updated 9 years ago
- Open data APIs for interfacing with public information from the University of Toronto.☆98Updated 5 years ago
- Generate random nonsense math papers☆613Updated 5 years ago
- 🦉 A grounder and solver for logic programs.☆709Updated last week
- My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Strieg…☆289Updated 2 years ago
- Lean Theorem Prover☆2,152Updated 2 years ago
- An open-source, customizable intermediate logic textbook☆1,225Updated last week
- Not currently being maintained.☆366Updated 7 years ago
- Crowdsourced repository of women in software engineering stats.☆765Updated 4 years ago
- Abstract Algebra for Scala☆2,302Updated last week
- Your favorite language gets closer to bare metal.☆4,617Updated last week