VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations
Repository Index
47,133 repositories indexed
8,305–8,328 of 10,109 · Most stars
Support for rendering a Blazor Component to a verified file via bunit or raw Blazor rendering.
- blazor
- bunit
- testing
- snapshot-testing
Port listener / honeypot in Rust with protocol guessing and safe string display
A puzzle game for the Game Boy Color (CGB), Analogue Pocket (AP) and Game Gear(GG). Build pets in all shapes and sizes, keep the board clear.
- game-boy-color
- game-boy
- gameboy
- retrodev
Blazor Code Component for Documentation Sites
- blazor
- blazor-documentation
Polyglot is a library for GameMaker Studio for super simple loading of localized strings
Script for turning a Raspberry Pi into a Honey Pot Pi
Go file operations library chasing GNU APIs.
Syntax is hard. https://fuckingfunctionpointers.com
Thick database bindings to MySQL, PostgreSQL and SQLite for Ada
Musical Scores for Piano with full sources in LilyPond file format
- lilypond
- music
- score
- bach
Hash a value to a valid port
Replaces Rails PostgreSQL `dbconsole` with the much nicer `pgcli`
Starting code and proposed solution for Functional Structures Refactoring Kata
- functional-programming
- kata
- deliberate-practice
- category-theory
Erlang nif for xor_filter. 'Faster and Smaller Than Bloom and Cuckoo Filters'.
- xor-filter
- bloom-filter
- erlang-nif
- erlang
My collection of Haskell snippets for LuaSnip. Powered by tree-sitter and LSP.
- haskell
- luasnip
- neovim
- neovim-plugin
NativeCode Xamarin Android Design Library Support Packages
Generative AI client for multiple providers with plugin extension support
IOS/MAC Denial-Of-Service [POC/EXPLOIT FOR MASSIVE ATTACK TO IOS/MAC IN NETWORK]
Python port of Scramjet framework
A runtime library and schema code generation tools for Chrome DevTools Protocol support in C#/.NET.
- chrome-devtools-protocol
- chromium
- csharp
- dotnet
The repository host gives no description.
Vapor middleware for converting thrown errors to JSON responses
TryLock support on read-write lock for Golang
- trylock
- locker
- mutex