-
Essentials-of-Compilation Public
Forked from IUCompilerCourse/Essentials-of-CompilationA book about compiling Racket and Python to x86-64 assembly
TeX UpdatedMar 18, 2025 -
nodebb-plugin-twitter Public
Forked from NodeBB-Community/nodebb-plugin-twitterNodeBB Plugin that allows users to embed tweets inline in their posts
JavaScript BSD 2-Clause "Simplified" License UpdatedSep 8, 2023 -
nodebb-plugin-ns-embed Public
Forked from NicolasSiver/nodebb-plugin-ns-embedEmbed media and rich content in posts: YouTube, Vimeo, Twitch and more.
JavaScript MIT License UpdatedJun 12, 2023 -
autosubst2 Public
Forked from uds-psl/autosubst2Official repository of the Autosubst 2 project.
Haskell Other UpdatedOct 8, 2021 -
coq Public
Forked from rocq-prover/rocqCoq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…
OCaml GNU Lesser General Public License v2.1 UpdatedNov 27, 2018 -
-
-
wisp Public
Forked from coltfred/wispWisp Is Scala Plotting
Scala Apache License 2.0 UpdatedFeb 6, 2016 -
-
SDPT Public
Software Design und Programmiertechniken WS 2014 Universität Tübingen
-
-
-
KdP2012 Public
Konzepte der Programmiersprachen, Uni Marburg, SS 2012
-
PLT2011 Public
Material for the course on Programming Languages and Types at University of Marburg
{{ message }}