Beast code in Giters

Henrik Theiling's repositories

100x Faster Slicing of SCAD Files for 3D Printing

Language:CGPL-3.0241 8 10

Type-safe Printf in C

Language:CBSD-3-Clause67 20

AVRDUDE is a utility to program AVR microcontrollers

Language:HTMLGPL-2.0010

2016–18 rewrite of the Ayeri Grammar

Language:TeXCC-BY-SA-4.0010

The CompCert formally-verified C compiler

Language:CoqNOASSERTION010

Modern graphing calculator operating system.

Language:C++010

Linux Programmer for the Holtek HT42B534 USB to UART Bridge IC

Language:PythonMIT010

Official KiCad 3D model libraries for rendering and MCAD integration

Language:CMakeNOASSERTION010

A handheld computer programmed in Lisp with a self-contained keyboard and display.

Language:C++010

moehriegitt makes

GPL-3.0020

mold: A Modern Linker

NOASSERTION000

An implementation of OpenGL 3.x-ish in clean C

Language:CNOASSERTION010

A version of the Lisp programming language for ATmega-based Arduino boards.

Language:C++MIT010