cagix

Pinned Repositories

2022-DigitalMobil-OER
My experiences with OER (Talk at DAAD-Stammtisch on 24.02.2022)
Language:Makefile1 2 00
craftinginterpreters
Repository for the book "Crafting Interpreters"
Language:HTML0 2 00
elk19_selbstgesteuerteslernen-gamebasedlearning
ELK19: Selbstgesteuertes Lernen in der Programmierausbildung - Let’s build a game!
Language:HTML2 2 00
Essentials-of-Compilation
A book about compiling Racket and Python to x86-64 assembly
Language:TeX0 0 00
faq-praxisphase-abschlussarbeit
FAQ: Praxisphase und Abschlussarbeit
Language:Makefile2 3 180
game-programming-patterns
Source repo for the book
Language:HTML2 1 00
pandoc-lecture
Pandoc Markdown Lecture Template: This project defines a skeleton repo for creating lecture slides and handouts including lecture notes out of Pandoc Markdown (https://pandoc.org/MANUAL.html) using a single source approach.
Language:Lua89 4 6218
pandoc-thesis
Pandoc Thesis Template: A Template for Thesis Documents written in Markdown
Language:TeX83 3 4223
plfa.github.io
An introduction to programming language theory in Agda
Language:Agda0 0 00
thesis-ideas
Ideas for projects, term papers and thesis work
2 1 00

cagix's Repositories

cagix/pandoc-lecture
Pandoc Markdown Lecture Template: This project defines a skeleton repo for creating lecture slides and handouts including lecture notes out of Pandoc Markdown (https://pandoc.org/MANUAL.html) using a single source approach.
Language:Lua89 4 6218
cagix/bdwgc
The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (bdwgc, also known as bdw-gc, boehm-gc, libgc)
Language:C
cagix/commonmark-hs
Pure Haskell commonmark parsing library, designed to be flexible and extensible
Language:Haskell2 0
cagix/course_sustainableSE
Website of the course Sustainable Software Engineering
Language:HTML
cagix/cs6120
advanced compilers
Language:HTML0 0
cagix/cse291-program-synthesis
Program Synthesis Course
cagix/dafny
Dafny is a verification-aware programming language
Language:C#
cagix/docsify
🃏 A magical documentation site generator.
Language:JavaScript
cagix/docsify-open-course-starter-kit
A ready-to-use template to create a Docsify Markdown-based open course website. Global navigation elements can be hidden for seamlessly embedding pages (i.e. into an LMS). Includes an optional "Edit this Page" link.
cagix/docsify-tabs
A docsify.js plugin for rendering tabbed content from markdown
Language:JavaScript
cagix/docsify-this
A lightweight Markdown open publishing tool, built with the Docsify Open Publishing Starter Kit. Mirror backup instance available at https://docsify-this.netlify.app.
cagix/factor
Factor programming language
Language:Factor
cagix/freecol
FreeCol: FreeCol is a turn-based strategy game based on the old game Colonization, and similar to Civilization. The objective of the game is to create an independent nation.
Language:Java
cagix/hugo-theme-relearn
A theme for Hugo designed for documentation
Language:CSS1 0
cagix/idris-jvm
JVM bytecode back end for Idris
Language:Idris
cagix/jacquard
Platform-independent Java autograder with Gradescope support
Language:Java
cagix/janet
A dynamic language and bytecode vm
Language:C
cagix/jmurmel
A standalone or embeddable JVM based interpreter/ compiler for Murmel, a single-namespace Lisp dialect inspired by Common Lisp
cagix/JPlag
Token-Based Software Plagiarism Detection
Language:Java
cagix/LiaScript
Interpreter for interactive educational content, written in an extended Markdown format...
Language:Elm0 0
cagix/litiengine
LITIENGINE 🕹 The pure 2D java game engine.
Language:Java0 0
cagix/llm-course
Course to get into Large Language Models (LLMs) with roadmaps and Colab notebooks.
Language:Jupyter Notebook
cagix/mdBook
Create book from markdown files. Like Gitbook but implemented in Rust
Language:Rust0 0
cagix/minicraft-plus-revived
Minicraft+, an extension of Notch's original minicraft project, with tons more features.
Language:Java
cagix/neut
A dependently-typed programming language with static memory management
Language:Haskell
cagix/pandoc-include-doc
A filter for Pandoc to recursively include other documents.
Language:Lua
cagix/pandoc-lua-filters
A collection of lua filters for pandoc
Language:Lua2 0
cagix/shattered-pixel-dungeon
Shattered Pixel Dungeon is an open-source traditional roguelike dungeon crawler with randomized levels and enemies, and hundreds of items to collect and use. Its based on the source code of Pixel Dungeon, by Watabou.
Language:Java0 0
cagix/Simple
A Simple showcase for the Sea-of-Nodes compiler IR
Language:Java
cagix/textbook
The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"
Language:OCaml0 0