Beast code in Giters

Carsten Gips's repositories

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:LuaMIT98 3 73

plfa.github.io

An introduction to programming language theory in Agda

Language:AgdaCC-BY-4.0010

acwj

A Compiler Writing Journey

Language:CGPL-3.0000

bdwgc

The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (bdwgc, also known as bdw-gc, boehm-gc, libgc)

Language:CNOASSERTION010

c3c

Compiler for the C3 language

LGPL-3.0000

checker-framework

Pluggable type-checking for Java

NOASSERTION000

cmput415_GeneratorBase

The base cmake setup for the generator assignment.

Language:CMakeNOASSERTION010

cpplinks

A categorized list of C++ resources.

000

Data-Science-For-Beginners

10 Weeks, 20 Lessons, Data Science for All!

Language:Jupyter NotebookMIT000

dotlr

An LR(1) parser generator and visualizer created for educational purposes.

Apache-2.0000

fantom

Fantom Programming Language

AFL-3.0000

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:JavaGPL-2.0010

gdx-liftoff

A modern setup tool for libGDX Gradle projects

Language:KotlinApache-2.0000

idris-jvm

JVM bytecode back end for Idris

Language:IdrisBSD-3-Clause010

janet

A dynamic language and bytecode vm

Language:CMIT000

litiengine

LITIENGINE 🕹 The pure 2D java game engine.

Language:JavaMIT010

lsp4j

A Java implementation of the language server protocol intended to be consumed by tools and language servers implemented in Java.

Language:JavaNOASSERTION000

Maml

000

minicraft-plus-revived

Minicraft+, an extension of Notch's original minicraft project, with tons more features.

Language:JavaGPL-3.0010

neut

A dependently-typed programming language with static memory management

Language:HaskellMIT000

openj9

Eclipse OpenJ9: A Java Virtual Machine for OpenJDK that's optimized for small footprint, fast start-up, and high throughput. Builds on Eclipse OMR (https://github.com/eclipse/omr) and combines with the Extensions for OpenJDK for OpenJ9 repo.

NOASSERTION000