Alternatives and similar repositories for VL_SoftwareprojektRobotik:

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

• TUBAF-IfI-LiaScript / VL_Softwareentwicklung
  Vorlesung Softwareentwicklung TU Freiberg
  ☆67Updated last week
• TUBAF-IfI-LiaScript / VL_EingebetteteSysteme
  Materialen für die Veranstaltung "Eingebettete Systeme" an der TU BAF
  ☆31Updated last month
• TUBAF-IfI-LiaScript / VL_EAVD
  Interaktive Einführung in die Informatik für Nichtinformatiker auf der Basis von C++ und Python
  ☆17Updated last month
• LiaScript / docs
  LiaScript documentation course
  ☆19Updated last week
• markusvoelter / ProgrammingBasics
  How to think like a programmer.
  ☆38Updated last year
• YacGroup / yacguide
  Yet Another Climbing Guide
  ☆12Updated this week
• herbelin / cours-preuves-ordinateur
  Page du cours preuves assistées par ordinateur 2021
  ☆14Updated last week
• educatopia / educatopia
  A platform for teachers and students to share and collaborate on exercises
  ☆11Updated 6 months ago
• LiaBooks / C-Programming
  Interactive Port of the Wikibook C-Programming to LiaScript (english)
  ☆11Updated 3 years ago
• odkr / pandoc-quotes.lua
  Pandoc filter that adapts quotation marks.
  ☆12Updated 2 weeks ago
• b3 / include-code-files
  Include code from source files in pandoc
  ☆15Updated 2 years ago
• xu-cheng / pandoc-katex
  Pandoc filter to render math equations using KaTeX
  ☆35Updated last year
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆36Updated 4 months ago
• OCamlPro / superbol-studio-oss
  Open-Source part of SuperBOL Studio, including the Visual Studio Code extension and its LSP server
  ☆31Updated 2 weeks ago
• typst-community / glossarium
  Glossarium is a simple typst glossary.
  ☆69Updated 2 weeks ago
• freundTech / typst-notebook
  Proof of concept for running jupyter kernels in typst documents.
  ☆8Updated last year
• fxpar / markdown-to-bootstrap-pandoc-lua-filter
  A Lua Filter to convert directly markdown into bootstrap components (cards, jumbotrons, carousels, accordions) using Pandoc
  ☆19Updated 2 years ago
• brown-cs22 / CS22-Lean-2023
  Lean course materials for Brown CS 22, Spring 2023
  ☆20Updated last year
• ashki23 / pandoc-bootstrap
  Application for converting Markdown files into bootstrap styled HTML pages by Pandoc.
  ☆26Updated 3 months ago
• marianoguerra / mclulang
  McLulang: The message is the language
  ☆10Updated 7 months ago
• suyjuris / obst
  Online BDD Simulation Tool
  ☆18Updated 2 years ago
• miniBill / elm-interpreter
  ☆29Updated 3 months ago
• fetburner / coq-dijkstra
  A Verified Implementation of Dijkstra's Algorithm
  ☆18Updated 4 years ago
• jbdoderlein / BetterOCaml
  A small but efficient, intuitive and responsive OCaml IDE right in your browser! Ships OCaml v5.1.1, interpreter by your browser (so it w…
  ☆40Updated last month
• lue-bird / elm-morph
  a parser-printer: dev-friendly, general-purpose, great errors
  ☆10Updated last year
• diverse-project / melange
  The Melange Language Workbench
  ☆29Updated last year
• oscarlevin / pandoc-pretext
  A custom Lua writer to convert anything pandoc reads to PreTeXt.
  ☆13Updated 8 months ago
• francoisschwarzentruber / prooffold
  Another attempt for visualizing proofs
  ☆12Updated 4 months ago
• jxxcarlson / minilatex
  parse MiniLaTeX source text and render it into HTML
  ☆55Updated 6 years ago
• bynect / algorithm-w
  Type inference implementation in OCaml using Algorithm W
  ☆10Updated 3 years ago