TUBAF-IfI-LiaScript / VL_SoftwareprojektRobotik
Vorlesung Softwareprojekt TU Bergakademie Freiberg
☆22Updated last month
Alternatives and similar repositories for VL_SoftwareprojektRobotik:
Users that are interested in VL_SoftwareprojektRobotik are comparing it to the libraries listed below
- Vorlesung Softwareentwicklung TU Freiberg☆67Updated 6 months ago
- LiaScript documentation course☆18Updated 2 months ago
- Interaktive Einführung in die Informatik für Nichtinformatiker auf der Basis von C++ und Python☆17Updated this week
- Yet Another Climbing Guide☆12Updated this week
- ATP piet interpreter☆30Updated 3 years ago
- a parser-printer: dev-friendly, general-purpose, great errors☆10Updated last year
- Include code from source files in pandoc☆14Updated last year
- Pure elm markdown parser with optional extensions for math, poetry, etc.☆29Updated 3 years ago
- GitHub Actions workflow that builds and deploys an Elm app to GitHub Pages☆25Updated 8 months ago
- A template for building desktop apps with Tauri, Elm, and Tailwind CSS.☆27Updated 11 months ago
- This project reimplements in Elm the data structures presented in the book "Purely Functional Data Structures" by Professor Okasaki (1999…☆39Updated 5 months ago
- https://elm.run☆8Updated 2 months ago
- ☆28Updated last month
- Pratt / Top-Down Operator Precedence parsing for elm/parser☆26Updated 4 years ago
- A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) an…☆23Updated 2 years ago
- A compiler and run-time system to compile and run Curry programs as Go programs☆23Updated 2 months ago
- Re-implementation of a minimal interpreter for a subset of Haskell☆32Updated 2 months ago
- Exercism exercises in Idris.☆32Updated last month
- ☆13Updated 2 months ago
- That Uno game we built in Elm live on Twitch!☆14Updated 2 years ago
- standard libraries for the elm programming language☆12Updated last year
- Play sound effects and music in a declarative way☆19Updated 10 months ago
- A platform for teachers and students to share and collaborate on exercises☆11Updated 4 months ago
- Programming-teaching game inspired by Silent Teacher: http://silentteacher.toxicode.fr/hourofcode☆12Updated 5 years ago
- Page du cours preuves assistées par ordinateur 2021☆9Updated 9 months ago
- A package for making 3D games and apps in Elm☆11Updated 4 months ago
- A little implementation of Conway's Game of Life in Elm☆19Updated 4 years ago
- UI for generating simple chord diagrams for guitar, bass and piano☆10Updated last year
- LaTeX Styles provided by Dagstuhl Publishing☆35Updated 2 months ago
- Game in Haskell☆14Updated 6 months ago