TUBAF-IfI-LiaScript / VL_SoftwareprojektRobotikLinks
Vorlesung Softwareprojekt TU Bergakademie Freiberg
☆23Updated 9 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:
- LiaScript documentation course☆22Updated 3 months ago
- Lecture "Künstliche Intelligenz"☆20Updated this week
- ES6 solutions to Advent of Code puzzles.☆18Updated 3 weeks ago
- Include code from source files in pandoc☆16Updated 2 years ago
- ☆17Updated 2 years ago
- XKCD 3062☆22Updated 6 months ago
- Lecture "Programmieren 2"☆14Updated last month
- A prettyprinting library designed for laying out plain text documents☆24Updated last month
- Type inference implementation in OCaml using Algorithm W☆10Updated 4 years ago
- Lang Party 2022☆25Updated 2 years ago
- IDE support for the functional logic programming language Curry☆32Updated 5 months ago
- Export LiaScript courses into SCORM1.2 & 2004, IMS, PDF or a standalone WEB project ...☆22Updated last week
- The PharoByExample9 repository since to have a broken history. Now the book versioning is moved to this repository to get work done.☆15Updated 2 months ago
- An experimental programming language.☆19Updated 6 years ago
- Pandoc filter that adapts quotation marks.☆13Updated 6 months ago
- A Lean 4 formalization of Pólya enumeration theorem.☆21Updated 4 months ago
- Another attempt for visualizing proofs☆12Updated 10 months ago
- A notional machine for the SMoL languages☆22Updated 2 years ago
- A computer built as a cellular automation pattern☆13Updated 2 years ago
- How to think like a programmer.☆38Updated last year
- Interaktive Einführung in die Informatik für Nichtinformatiker auf der Basis von C++ und Python☆18Updated 8 months ago
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆27Updated last week
- A compiler from a subset of Rust to Brainfuck☆13Updated last year
- Accompanying materials for "A Core Calculus for Documents"☆34Updated 2 years ago
- An online blackboard 🖉 with fridge magnets 🌈🧲 for teaching, and making animations 🏃 and presentations ⎚. All of that in a lightweigh…☆195Updated last week
- LaTeX Styles provided by Dagstuhl Publishing☆37Updated 11 months ago
- A compiler, testing bed, and standard library for the Choral programming language.☆32Updated 3 weeks ago
- CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…☆43Updated 2 years ago
- The Flix Programming Book☆19Updated 2 weeks ago
- Visual environment for manipulation the lambda calculus expressions☆29Updated last year