TUBAF-IfI-LiaScript / VL_SoftwareprojektRobotikLinks
Vorlesung Softwareprojekt TU Bergakademie Freiberg
☆22Updated 5 months ago
Alternatives and similar repositories for VL_SoftwareprojektRobotik
Users that are interested in VL_SoftwareprojektRobotik are comparing it to the libraries listed below
Sorting:
- ☆11Updated 2 years ago
- Vorlesung Softwareentwicklung TU Freiberg☆77Updated last week
- LiaScript documentation course☆19Updated last month
- Interaktive Einführung in die Informatik für Nichtinformatiker auf der Basis von C++ und Python☆16Updated 4 months ago
- Lecture "Programmieren 2"☆15Updated this week
- Solutions to Advent of Code 2021 in APL☆11Updated 2 years ago
- How to think like a programmer.☆38Updated last year
- A mathematical foundation for Smalltalk-25☆17Updated this week
- C Compiler written in Kotlin☆13Updated last year
- A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) an…☆27Updated 2 years ago
- McLulang: The message is the language☆10Updated 9 months ago
- Pandoc filter that adapts quotation marks.☆13Updated 2 months ago
- Draw lightsabers using Racket's pict library☆11Updated 5 years ago
- XKCD 3062☆22Updated 2 months ago
- A compilation of BQN solutions to various coding challenges.☆12Updated last week
- Mirror of ocaml-forester☆45Updated 11 months ago
- Interactive Port of the Wikibook C-Programming to LiaScript (english)☆11Updated 3 years ago
- Another attempt for visualizing proofs☆12Updated 6 months ago
- ☆17Updated 2 years ago
- Typst Package to typeset inference rule☆34Updated last month
- A prettyprinting library designed for laying out plain text documents☆23Updated 9 months ago
- Infrastructure to autograde Racket code on Gradescope☆17Updated 4 months ago
- DocLog builds documentation from source code in Prolog☆27Updated 5 months ago
- The Melange Language Workbench☆29Updated last year
- A tutorial for the swipl web framework☆114Updated 4 years ago
- An interpreter for the (made up) k programming language all done in Haskell☆8Updated last year
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆15Updated last year
- Logical Verification 2022-2023 course at VU Amsterdam☆18Updated last year
- Examples of technical drawing with John Hobby's MetaPost language☆50Updated 4 months ago
- Collection of Lua modules for general programming (in the (La)TeX world)☆10Updated 11 months ago