Alternatives and similar repositories for VL_SoftwareprojektRobotik

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

• ComputerScienceLecturesTUBAF / RobotikProjekt-Praxis
  ☆11Updated 2 years ago
• ucsd-cse231-w21 / chocopy-wasm-compiler
  ☆17Updated 2 years ago
• Programmiermethoden-CampusMinden / Prog2-Lecture
  Lecture "Programmieren 2"
  ☆15Updated 2 weeks ago
• Artificial-Intelligence-HSBI-TDU / KI-Vorlesung
  Lecture "Künstliche Intelligenz"
  ☆18Updated 5 months ago
• bynect / algorithm-w
  Type inference implementation in OCaml using Algorithm W
  ☆10Updated 3 years ago
• JensBouman / Piet_interpreter
  ATP piet interpreter
  ☆30Updated 3 years ago
• shriram / xkcd-3062
  XKCD 3062
  ☆22Updated 4 months ago
• guilevieiram / k
  An interpreter for the (made up) k programming language all done in Haskell
  ☆8Updated last year
• Elektrochecker / shpd-toolkit
  ☆18Updated 3 weeks ago
• marianoguerra / mclulang
  McLulang: The message is the language
  ☆11Updated 10 months ago
• dwayne / elm-7guis
  7GUIs in Elm.
  ☆20Updated 9 months ago
• iwilare / church-rosser
  A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) an…
  ☆28Updated 2 years ago
• joshuanianji / idris-2-docker
  Multi-arch, multi-distro Docker images for Idris 2
  ☆13Updated 2 months ago
• shriram / mystery-languages
  Mystery Languages
  ☆38Updated last year
• GrayJoKing / Cascade
  An esoteric language based on overlapping tree-like structures
  ☆10Updated 3 years 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.
  ☆14Updated 10 months ago
• pbv / haskelite
  Re-implementation of a minimal interpreter for a subset of Haskell
  ☆35Updated last month
• EagleoutIce / tikzpingus
  🐧 Penguins in LaTeX with TikZ
  ☆81Updated 3 weeks ago
• curry-language / curry2go
  A compiler and run-time system to compile and run Curry programs as Go programs
  ☆34Updated last month
• rodrigogiraoserrao / RGSPL
  A Python interpreter for APL based off of the LSBASI series.
  ☆16Updated 4 years ago
• hanleyc01 / rkttt
  ☆12Updated 2 years ago
• isovector / functional-design-patterns
  could it be?
  ☆18Updated last week
• mwand / cs5010f16
  Web site for cs5010 Fall 2016
  ☆11Updated 8 years ago
• Kernel-Dirichlet / Haskell2Julia
  A partial transpiler from Haskell to Julia.
  ☆16Updated 4 years ago
• GrantMatejka / rasm
  Racket to WebAssembly Compiler
  ☆37Updated 5 months ago
• pigworker / MS4P
  being some thoughts about introductory mathematics for computer science
  ☆17Updated 11 months ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆29Updated 7 years ago
• jacquev6 / DrawGrammar
  Draw railroad diagrams of EBNF grammars. In browser and on command line
  ☆69Updated 6 years ago
• proof-tree-builder / proof-tree-builder.github.io
  A web-based graphical proof assistant for LK and Hoare logic.
  ☆35Updated 2 years ago
• uu-afp / uu-afp.github.io
  UU AFP Summer School Homepage
  ☆11Updated last month