Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them
- formal-verification
- fuzzing
- oss-fuzz
- proofs
Repository Index
47,133 repositories indexed
2,425–2,448 of 4,091 · Most stars
A generics based dependency injection application framework for Go, supporting aspect oriented programming based on interceptors
- code-generation
- dependency-injection
- framework
- generics
This is an implementation sketch of the KinectFusion system described by Newcombe et al.
A powerful and flexible quest management system for the Godot Game Engine
A light syntax theme for Atom
- atom-theme
- color-theme
- atom-editor
Tools for working with GTFS public transit data in ArcGIS
- spatial-analysis
- data-management
- gtfs
- gtfs-rt
Color, ASCII-only Git prompt for zsh, bash, ksh93, mksh, pdksh, oksh, dash, yash, busybox ash, and osh
- prompt
- bash-prompt
- ksh
- mksh
🌟 DataFormsJS 🌟 A minimal JavaScript Framework, standalone React and Web Components, and JSX Compiler for rapid development of high quality websites and single page applications.
- javascript-framework
- react-components
- web-components
- dataformsjs
Go implementation of C++ STL iterators and algorithms.
- datastructures
- algorithms
- stl
Pure Go WebGPU Implementation
- directx12
- go
- golang
- gpu
Normalize GraphQL responses for persisting in the client cache/state
- javascript
- graphql
- normalizer
- state-management
Data Quality and Observability platform for the whole data lifecycle, from profiling new data sources to full automation with Data Observability. Configure data quality checks from the UI or in YAML files, let DQOps run the data quality checks daily to detect data quality issues.
- data-ops
- data-quality
- data-quality-checks
- data-quality-measurement
Generic manual memory management for golang
- golang
- malloc
- memory-management
Common Lisp implementation of algorithms
ChromeOS theme for kde plasma
ProWave, a music production Daw in the style of Logic Pro, written in pure Rust with egui. Tracks, MIDI and audio regions, piano roll, mixer and built-in synth. Builds for Windows, macOS and Linux
Javascript implementation of Bitcoin.
RobustIRC - an IRC network without netsplits, implemented in Go using the Raft consensus algorithm
- go
- golang
- irc
- raft
User oriented Kvantum theme for KDE
- kde
- plasma
- kvantum
A source code generator for automatically implementing IEquatable<T> using only attributes.
- source-generators
- equality
- csharp
- roslyn-analyzer
ICU MessageFormat implementation for .NET.
- messageformat
- c-sharp
- formatter
- string-formatter
Translated知策 (Zhice, "know strategy") | AI investment research and strategy experiment workbench: view markets and news, compare strategy judgments; organize investment documents into knowledge backed by source-text evidence, form rules through manual confirmation, screen candidates, and verify them in independent simulated accounts.
The jsonrpc package helps implement of JSON-RPC 2.0
SUSHI (aka "SUSHI Unshortens Short Hand Inputs") is a reference implementation command-line interpreter/compiler for FHIR Shorthand (FSH).