Artificial-Intelligence-HSBI-TDU / KI-VorlesungLinks
Lecture "Künstliche Intelligenz"
☆20Updated 2 weeks ago
Alternatives and similar repositories for KI-Vorlesung
Users that are interested in KI-Vorlesung are comparing it to the libraries listed below
Sorting:
- Lecture "Programmieren 2"☆13Updated last month
- Haskell exercises corresponding to the youtube tutorials series Learning Haskell☆29Updated 3 years ago
- Compiler☆14Updated last year
- Solutions to Advent of Code 2021 in APL☆11Updated 2 years ago
- Visual environment for manipulation the lambda calculus expressions☆29Updated last year
- Automatic assignment grading for instructor use in programming courses☆47Updated last year
- ☆50Updated this week
- A place for automata☆79Updated last week
- Docker images for TeXlive that easily adjust to your needs☆29Updated 2 weeks ago
- ✨ Zero Bullshit Git☆317Updated 2 months ago
- AsciiDoc parser that can be used as a Pandoc front-end, written in Haskell☆52Updated 3 years ago
- An implementation of a small strongly-typed functional language with parametric polymorphism, pattern-matching, and general recursion.☆10Updated last year
- A DSL for developing grid-based arcade-style games. Because, .... fun!☆19Updated 2 years ago
- Haskell library for parsing and evaluating typst☆66Updated last week
- An interactive exploration of various number formats☆30Updated last year
- ☆54Updated 10 months ago
- An online blackboard 🖉 with fridge magnets 🌈🧲 for teaching, and making animations 🏃 and presentations ⎚. All of that in a lightweigh…☆200Updated this week
- ☆27Updated 3 years ago
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆129Updated 10 months ago
- A platform for teachers and students to share and collaborate on exercises☆11Updated 3 weeks ago
- Who Wants to Be a Millionaire - but with types☆89Updated 2 years ago
- ☆12Updated 2 weeks ago
- A textbook for Conway's Game of Life.☆35Updated 3 years ago
- Main repository for the Research Programme in Computational Law☆35Updated last year
- 📚 A collection of resources about supercompilation☆123Updated 4 months ago
- Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.☆57Updated last year
- Online BDD Simulation Tool☆21Updated 3 months ago
- ☆278Updated last month
- Online REPL for BQN☆33Updated 2 years ago
- Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…☆38Updated this week