Beast code in Giters

Chris Herborth's starred repositories

aws-lc-verification

This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal verification is used to locate bugs and increase assurance of the correctness and security of the library.

Language:CoqApache-2.02700

amazon-corretto-crypto-provider

The Amazon Corretto Crypto Provider is a collection of high-performance cryptographic implementations exposed via standard JCA/JCE interfaces.

Language:JavaApache-2.023100

s2n-tls

An implementation of the TLS/SSL protocols

Language:CApache-2.0452100

godot-syntax-themes

Syntax themes for the Godot Engine script editor

CC0-1.039700

godot-tiled-importer

Plugin for Godot Engine to import Tiled Map Editor tilemaps and tilesets

Language:GDScriptMIT83500

GodotTIE

A simple Text Interface Engine to control text output (like in a RPG dialogue) for Godot.

Language:GDScriptMIT28700

Discord-M1

A Discord app for M1 Macs made with nativefier

Language:JavaScript6700

pygame-video

Video player for Pygame

Language:PythonMIT2600

cpython

The Python programming language

Language:PythonNOASSERTION52100

Gadgets

Gadgets for Rainmeter

NOASSERTION35700

wasabi2d

Cutting-edge 2D game framework for Python

Language:PythonLGPL-3.015500

pygame_gui_examples

Some examples of how to use pygame_gui

Language:Python13800

LiberatedPixelCup

Liberated Pixel Cup (LPC) Asset Repository

GPL-3.02400

pygame_gui

A GUI system for pygame.

Language:PythonMIT68500

pygame

🐍🎮 pygame (the library) is a Free and Open Source python programming language library for making multimedia applications like games built on top of the excellent SDL library. C, Python, Native, OpenGL.

Language:C738400

SYSL-Text

Text rendering with tag support.

Language:LuaMIT8700

ini_parser

.ini parser in Lua

Language:LuaCC0-1.01500

svglover

Library to import and display simple SVGs in LÖVE.

Language:LuaGPL-3.05100

tuxedo-keyboard

This repository will no longer get any updates as the code here is now part of tuxedo-drivers https://gitlab.com/tuxedocomputers/development/packages/tuxedo-drivers.

Language:CGPL-3.030000