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 2 months ago
• Artificial-Intelligence-HSBI-TDU / KI-Vorlesung
  Lecture "Künstliche Intelligenz"
  ☆21Updated 3 weeks ago
• Programmiermethoden-CampusMinden / Prog2-Lecture
  Lecture "Programmieren 2"
  ☆12Updated 2 months ago
• b3 / include-code-files
  Include code from source files in pandoc
  ☆16Updated 2 years ago
• markusvoelter / ProgrammingBasics
  How to think like a programmer.
  ☆38Updated last year
• bntre / visual-lambda
  Visual environment for manipulation the lambda calculus expressions
  ☆30Updated 2 years ago
• JensBouman / Piet_interpreter
  ATP piet interpreter
  ☆30Updated 4 years ago
• jacquev6 / DrawGrammar
  Draw railroad diagrams of EBNF grammars. In browser and on command line
  ☆78Updated 7 years ago
• tiansivive / yap
  A broken problem
  ☆22Updated 3 weeks ago
• jgm / doclayout
  A prettyprinting library designed for laying out plain text documents
  ☆24Updated 5 months ago
• oskar2517 / microhaskell
  Interpreter for a small subset of the Haskell programming language
  ☆16Updated 2 months ago
• kciray8 / zerolambda
  100% pure functional programming language which will allow you to code in untyped lambda calculus as defined in textbooks
  ☆32Updated 10 months ago
• educatopia / educatopia
  A platform for teachers and students to share and collaborate on exercises
  ☆10Updated 3 months ago
• mwand / cs5010f16
  Web site for cs5010 Fall 2016
  ☆11Updated 9 years ago
• PiCake314 / Pie
  (Hopefully) a compiler for my first language named "Pie"
  ☆22Updated this week
• bynect / algorithm-w
  Type inference implementation in OCaml using Algorithm W
  ☆10Updated 4 years ago
• choral-lang / choral
  A compiler, testing bed, and standard library for the Choral programming language.
  ☆38Updated last month
• isaacvando / gob
  Stack based language written in Roc
  ☆19Updated last year
• maranget / hevea
  Hevea is a fast latex to html translator
  ☆114Updated this week
• tomkarp / elmrepl
  ☆16Updated 2 weeks ago
• pbv / haskelite
  Re-implementation of a minimal interpreter for a subset of Haskell
  ☆37Updated 4 months ago
• ucsd-cse231-w21 / chocopy-wasm-compiler
  ☆17Updated 2 years ago
• flix / book
  The Flix Programming Book
  ☆21Updated 2 weeks ago
• MartinSStewart / state-of-elm
  An Elm community survey
  ☆19Updated 2 years ago
• MarcelGarus / orchard
  A playground for programming language ideas.
  ☆20Updated last week
• mbeddr / mbeddr.formal
  FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
  ☆27Updated 3 weeks ago
• mp2i-info / mp2i-info.github.io
  Cours d'informatique en MP2I (OCaml, C, SQL)
  ☆46Updated this week
• francoisschwarzentruber / prooffold
  Another attempt for visualizing proofs
  ☆12Updated last year
• hintikkasworld / hintikkasworld
  Hintikka's World is a pedagogical tool for learning modal logic, more precisely epistemic modal logic.
  ☆12Updated 3 months ago
• Dungeon-CampusMinden / Dungeon
  The "Dungeon" is a tool to gamify classroom content and integrate it into a 2D Rogue-Like role-playing game.
  ☆31Updated last week