Thanks to visit codestin.com
Credit goes to github.com

Skip to content
View pbrinkmeier's full-sized avatar

Block or report pbrinkmeier

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Glorious Elite Neural TransLation Engine.

Java 5 Updated Jun 6, 2022

A simple HTTP server for the STM32F7-Discovery board

Rust 1 Updated Aug 19, 2020

Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.

Haskell 43 4 Updated Nov 11, 2024

Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition

Lean 51 2 Updated Jul 1, 2021

📐 Javascript Geometric Algebra Generator for Javascript, c++, c#, rust, python. (with operator overloading and algebraic literals) -

JavaScript 1,584 111 Updated Jan 20, 2024

A guideline compliant Tetris clone made with Haskell.

Haskell 25 1 Updated Jan 13, 2021

WWII RTS game using the Spring engine

Lua 194 40 Updated Oct 8, 2023

My personal website, statically generated by Astro

MDX 27 2 Updated Jul 20, 2025

Creative cellular automata browser game

Rust 3,083 211 Updated Oct 21, 2025

Hacked By Me Video 1 Code

PowerShell 2 1 Updated Feb 10, 2020

Sorry y'all, got a takedown from monotype.

136 3 Updated Oct 10, 2018
HTML 4 2 Updated May 23, 2023

Mal Lisp for TempleOS

HolyC 115 11 Updated Jan 10, 2022

Lernmaterialien LA I/II

35 4 Updated Oct 21, 2017
C 1 Updated Nov 16, 2017

The KITInfo timers source code, live version to be found on http://timers.kitinfo.de/

JavaScript 3 1 Updated Feb 1, 2020

⛅ The right way to check the weather

Python 28,340 1,199 Updated Oct 13, 2025

Tiny vanilla JS plugin to display large data sets easily

JavaScript 7,276 414 Updated May 4, 2025

Finally, a "back to top" button that behaves like a real elevator.

JavaScript 6,639 499 Updated Jun 26, 2020

Ultra-lightweight wrapper around XMLHttpRequest. You should probably use fetch (whatwg-fetch) or RxJS, though.

TypeScript 448 32 Updated Jan 25, 2021

The elevator programming game!

JavaScript 2,491 340 Updated Nov 21, 2022

🚧 Regular Expression Excited!

TypeScript 5,829 764 Updated Jul 12, 2022

Official Clicking Bad Repository

JavaScript 241 70 Updated Jun 22, 2024

Just an extremely simple naked PHP application, useful for small projects and quick prototypes. Some might call it a micro framework :)

PHP 1,364 476 Updated Sep 17, 2022

Package for assets management in WordPress.

PHP 12 Updated Feb 23, 2016

A modern cross-platform JavaScript library & only 18 bytes

CSS 75 7 Updated Oct 31, 2014

:atom: The hackable text editor

JavaScript 60,939 17,313 Updated Jan 3, 2023

An extremely simple, pluggable static site generator for Node.js

JavaScript 7,848 617 Updated Aug 20, 2025

Javascript MVC for the "write less, do more" programmer

JavaScript 538 67 Updated Apr 20, 2020