pbrinkmeier Goto Github PK

.vim

Personal Vim config

bumerik

Cheatsheet für "Numerische Mathematik für Informatiker und Ingenieure" am KIT (19WS). Definitiv nicht vollständig.

campus-checker

carl2

cheatsheets

chunky

A bukkit plugin that stops players from leaving their chunk.

corediff

Diff GHC Core programs

ghc-dump

A GHC plugin and library for analysing GHC Core

graphite

2D raster & vector editor that melds traditional layers & tools with a modern node-based, fully non-destructive procedural workflow.

hexclock

hoff

A gatekeeper for your commits

kit-lecture-notes

lambda-diff

Implementation of the structural diffing algorithm from AEATSD on simple λ-terms.

lambduh

lean4

Lean 4 programming language and theorem prover

legendofsajjad

Legend of Sajjad Minigame

lmc-emulator

An HTML5 assembler and emulator for the LMC computer model written in Elm.

mini

Just a super-simple naked PHP application, useful for small projects and quick prototypes.

nope

just nope

pbrinkmeier.de

Personal website and potential blog

pp-tut

Programmierparadigmen-Tutorium 2022WS

ps1

$PS1's made simple

rasm-asm

the assembler of the RASM (reg4in's assembly) project

rasm-vm

the virtual machine of the RASM (reg4in's assembly) project

rasm-web

rio

A hardware-accelerated GPU terminal emulator focusing to run in desktops and browsers.

scotty

Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)

stack

The Haskell Tool Stack

stm32f7-blink

Minimal template for stm32f7 development.

stm32f7-discovery