SHA-3 and other Keccak related algorithms in SPARK/Ada.
- hash-functions
- keccak
- sha-3
- sponge-construction
Repository Index
76,356 visible repositories in the index
5,329–5,352 of 6,345 · Most stars
A lightweight server and framework for turn-based multiplayer games
- game-server
- multiplayer
- python
- board-games
An engine for designing and implementing good audio in Game Maker Studio 2. Please see the wiki for more info! https://github.com/gl326/bard-audio/wiki
A Cute Demo for the GameBoy Color
:green_heart: A minimal Love2D animation library
- love2d
- love2d-animation-library
- animation
- sprites
A collection of small projects that show possible ways of handling game logic with BabylonJS
Advanced 3D audio features for libGDX desktop users.
- audio
- libgdx
- game-development
- java
Logging and crash handling system for GameMaker
- crash
- crash-reporting
- gamemaker
- gamemaker-studio-2
Small running game done as 1 hour challenge
A vega-lite DSL for Common Lisp
- plotting
- common-lisp
- vega-lite
Website to Scrapping all writeup from http://ctftime.org/ and you can organize which to read first!
WebSocket support for pyramid
Ruby Marshal format implemented in Elixir
- marshal
- ruby
- elixir
Haxe color manipulation library.
The repository host gives no description.
Local-first policy gateway for coding agents. Allow, review, or block MCP, shell, SQL, GitHub, and HTTP actions with scoped credentials and signed evidence.
- golang
- observability
- opentelemetry
- policy-engine
Proper MongoDB aggregations support for Meteor
web based music sheet viewer (go, pdfjs) as a single binary
- music-sheet-organizer
- pdfjs
- pdf-viewer
- music-library
An example of pixel-perfect yet smooth camera for GameMaker Studio 2
CengBall: Soccer programming game with 2D simulation.
A simple CDK seeder for DynamoDB
Gatling Plugin for Maven
- gatling
- maven
- maven-plugin
- loadtesting
ArcGIS JSON to GeoJSON
Saving and loading LÖVE savegames, based on Ser