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
361–384 of 713 · Most stars
Tools for working with GTFS public transit data in ArcGIS
- spatial-analysis
- data-management
- gtfs
- gtfs-rt
gcc-poison
Peer to Peer decentral Web Site hosting at your fingertips! Send full featured HTML (incl. CSS, JS) sites from your browser and attach files eg. videos, audios, images, etc.
- webtorrent
- peerweb
- webrtc
- decentralized
F# -> ASM disassembler
- fsharp
- dotnet
- dotnet-tool
- assembler
A lightweight, generic F# database abstraction.
- fsharp
- ado-net
- dotnet
- sql
Delphi debug framework
- debug
- stacktrace
- disassembler
- portable-executable
SUSHI (aka "SUSHI Unshortens Short Hand Inputs") is a reference implementation command-line interpreter/compiler for FHIR Shorthand (FSH).
Low-latency remote desktop for macOS and Linux. Control your computer from an iPad or any browser with ~20 ms delay. Free, open source, no app to install. curl -fsSL glassdesk.dev | sh
WebView Adobe Air Native Extension for macOS 10.10+, Windows Desktop, iOS 9.0+ and Android 19+. This ANE provides access to a more modern webview from AIR.
- cef
- webview
- cefsharp
- adobe-air
CLI image optimization tool
Event-Sourcing and Domain-Driven Design with F# and EventStore
Open-source OSINT intelligence dashboard tracking the Iran conflict in real time — live DeckGL/MapLibre conflict map, 30 bias-labeled feeds, actor dossiers, and daily briefs. Live at conflicts.app.
- deckgl
- geopolitics
- intelligence
- maplibre
Advanced F# Support for LiteDB, an embedded NoSql database for .NET with type-safe query expression through F# quotations
- litedb
- fsharp
- nosql
- embedded-database
Railway-oriented programming for .NET
A fast, forgiving GTFS reader built on pandas DataFrames
reStructuredText linter
GTFS ORM using SQLAlchemy
- python
- gtfs
- gtfs-rt
GitHub Action for upload to IPFS. Supports Pinata, Infura pinning service as well as direct upload.
An extended core library for F#.
- fsharp
- performance
- csharp
- immutable
🚶 A simple library for building delightfully animated stepped flows with Svelte.
RRRR rapid real-time routing
Share files directly from the browser using IPFS.
R package for working with GTFS data