Pinned Repositories
2022-DigitalMobil-OER
My experiences with OER (Talk at DAAD-Stammtisch on 24.02.2022)
craftinginterpreters
Repository for the book "Crafting Interpreters"
elk19_selbstgesteuerteslernen-gamebasedlearning
ELK19: Selbstgesteuertes Lernen in der Programmierausbildung - Let’s build a game!
Essentials-of-Compilation
A book about compiling Racket and Python to x86-64 assembly
faq-praxisphase-abschlussarbeit
FAQ: Praxisphase und Abschlussarbeit
game-programming-patterns
Source repo for the book
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.
pandoc-thesis
Pandoc Thesis Template: A Template for Thesis Documents written in Markdown
plfa.github.io
An introduction to programming language theory in Agda
thesis-ideas
Ideas for projects, term papers and thesis work
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.
cagix/Essentials-of-Compilation
A book about compiling Racket and Python to x86-64 assembly
cagix/plfa.github.io
An introduction to programming language theory in Agda
cagix/c3c
Compiler for the C3 language
cagix/clerk
⚡️ Moldable Live Programming for Clojure
cagix/clj-kondo
Static analyzer and linter for Clojure code that sparks joy
cagix/codehawk
CodeHawk Abstract Interpretation Engine and Analyzers
cagix/CodeHawk-C
CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)
cagix/cognate
A human readable quasi-concatenative programming language
cagix/dlk24
cagix/dlk24-b
cagix/ez-lang
EeZee Language - Compiler Engineering Basics
cagix/FXGL
Java / JavaFX / Kotlin Game Library (Engine)
cagix/Headerless-C-Compiler
A C compiler that tries to eliminate the need for header files as much as possible.
cagix/jank
A Clojure dialect hosted on LLVM with native C++ interop
cagix/lean4
Lean 4 programming language and theorem prover
cagix/lightstorm
Minimalistic ahead-of-time Ruby compiler
cagix/markitdown
Python tool for converting files and office documents to Markdown.
cagix/mfl
MFL - Mini Functional Language
cagix/moon
RPG Maker & Engine
cagix/Nim-Lang
Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).
cagix/OpenKeeper
Dungeon Keeper II remake
cagix/PyTiny-C
A Tiny-C language compiler, rewritten in Python
cagix/reveal.js
The HTML Presentation Framework
cagix/scalangband
A roguelike game, written in Scala, heavily inspired by Angband
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.
cagix/SquidLib
Useful tools for roguelike, role-playing, strategy, and other grid-based games in Java. Feedback is welcome!
cagix/SVC16
Simplest Virtual Computer
cagix/verifast
Research prototype tool for modular formal verification of C and Java programs
cagix/wasm-spec
WebAssembly specification, reference interpreter, and test suite.