Explore projects
-
The core implementation of the calculator with custom calculator functions.
Updated -
The core implementation of the calculator with custom calculator functions.
Updated -
-
-
ifs / coast / coast
BSD 3-Clause "New" or "Revised" LicenseC++ Open Application Server Toolkit
Updated -
The core implementation of the calculator with custom calculator functions.
Updated -
Updated
-
Isabelle/HOL theory files for this course.
Updated -
The core implementation of the calculator with custom calculator functions.
Updated -
-
The core implementation of the calculator with custom calculator functions.
Updated -
ifs / sconsider
BSD 3-Clause "New" or "Revised" Licenseadvanced build system, allowing recursive dependencies and easy moving of packages, in short: SCons on fire
Updated -
Mit der SolutionLogger-Klasse können Einträge ins App Quest Logbuch gemacht werden.
Updated -
The core implementation of the calculator with custom calculator functions.
Updated -
ArchLinux package for the Intel manycore platform software stack (mpss)
Updated -
Seminar paper on "Category Theory for Haskell and C++ Programmers" for the fall semester seminar on program analysis and transformation.
Updated -
Marcel Huber / pandocfilters
MIT Licensecollection of python programs acting as pandoc filters
Updated -
