Alternatives and similar repositories for VL_SoftwareprojektRobotik

Users that are interested in VL_SoftwareprojektRobotik are comparing it to the libraries listed below

• LiaScript / docs
  LiaScript documentation course
  ☆23Updated 5 months ago
• luiscruz / course_sustainableSE
  Website of the course Sustainable Software Engineering
  ☆19Updated last week
• Artificial-Intelligence-HSBI-TDU / KI-Vorlesung
  Lecture "Künstliche Intelligenz"
  ☆20Updated 2 weeks ago
• bynect / algorithm-w
  Type inference implementation in OCaml using Algorithm W
  ☆10Updated 4 years ago
• Programmiermethoden-CampusMinden / Prog2-Lecture
  Lecture "Programmieren 2"
  ☆13Updated last month
• dwayne / elm-7guis
  7GUIs in Elm.
  ☆20Updated last year
• jacquev6 / DrawGrammar
  Draw railroad diagrams of EBNF grammars. In browser and on command line
  ☆74Updated 7 years ago
• TUBAF-IfI-LiaScript / VL_EAVD
  Interaktive Einführung in die Informatik für Nichtinformatiker auf der Basis von C++ und Python
  ☆21Updated last week
• francoisschwarzentruber / prooffold
  Another attempt for visualizing proofs
  ☆12Updated 11 months ago
• amenzwa / pfd
  This project reimplements in Elm the data structures presented in the book "Purely Functional Data Structures" by Professor Okasaki (1999…
  ☆41Updated last year
• choral-lang / choral
  A compiler, testing bed, and standard library for the Choral programming language.
  ☆33Updated 3 weeks ago
• maranget / hevea
  Hevea is a fast latex to html translator
  ☆112Updated last month
• exercism / idris
  Exercism exercises in Idris.
  ☆35Updated last month
• ryan-haskell / jangle-cms
  Content's best friend.
  ☆21Updated 6 months ago
• SquareBracketAssociates / NewPharoByExample9
  The PharoByExample9 repository since to have a broken history. Now the book versioning is moved to this repository to get work done.
  ☆15Updated 3 months ago
• kayceesrk / cs3100_m25
  IITM Paradigms of Programming -- Monsoon 2025
  ☆17Updated last week
• tominated / system_f_omega
  My Attempt at System Fω with Row-Polymorphism
  ☆30Updated 4 years ago
• jxxcarlson / minilatex
  parse MiniLaTeX source text and render it into HTML
  ☆56Updated 7 years ago
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆19Updated 3 years ago
• cpc6128 / LangageLinotte
  Code source officiel du langage de programmation Linotte - Langage de programmation en français simple créé dans le but de permettre aux …
  ☆45Updated last year
• alloy-js / sterling
  Alloy with browser-based visualizations
  ☆29Updated 4 years ago
• mbeddr / mbeddr.formal
  FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
  ☆27Updated last week
• bntre / visual-lambda
  Visual environment for manipulation the lambda calculus expressions
  ☆29Updated last year
• catalin-hritcu / fstar-course
  Program verification with F* course materials
  ☆12Updated 6 years ago
• b3 / include-code-files
  Include code from source files in pandoc
  ☆16Updated 2 years ago
• samskivert / compose
  An experimental programming language.
  ☆19Updated 6 years ago
• surgi1 / adventofcode
  ES6 solutions to Advent of Code puzzles.
  ☆18Updated 2 months ago
• jgm / doclayout
  A prettyprinting library designed for laying out plain text documents
  ☆24Updated 2 months ago
• NicklasBoto / BruSKI
  "DeBruijn to SKI" Untyped language that compiles to Unlambda
  ☆10Updated 4 years ago
• MacCASOutreach / graphicsvg
  Graphics library authored by Chris Schankula and Dr. Christopher Anand
  ☆48Updated 4 months ago