A complete Golang client for SeaweedFS
- seaweedfs
- client
- golang
- go
Repository Index
47,133 repositories indexed
433–456 of 713 · Most stars
🌄 Windows XP window decorations for KDE Plasma
- boomer
- windows-xp
- kde-plasma-5
- aurorae-theme
The FSharp.Configuration project contains type providers for the configuration of .NET projects.
Adds support for deploying Gatsby to IPFS by ensuring that assets are relative
NTFUZZ: Enabling Type-Aware Kernel Fuzzing on Windows with Static Binary Analysis (IEEE S&P '21)
- fuzzer
- fuzzing
- kernel-fuzzer
- windows-kernel
Static scope analysis and transpilation of ES6 block scoped const and let variables to ES3 vars
F# Telegram Bot Api library
- fsharp
- telegram-bot-api
- telegram-bots
Tell your coding agent which dependencies changed after its training cutoff. Diffs types and changelogs, writes a short block into AGENTS.md / CLAUDE.md.
Documentation for CFScript
Turn OpenStreetMap data and schedule information into GTFS
- openstreetmap
- gtfs
- schedule
- public-transportation
A tool for mining commits from Git repositories and diffs to automatically extract code change pattern instances and features with ast analysis
- ast-analysis
- mining-software-repositories
- kth
- inria
The repository host gives no description.
Go Scoring API for PMML
- golang
- pmml
- random-forest
- classification
An NLP library for Uralic languages such as Finnish, Skolt Sami, Moksha and so on. Also supporting some non-Uralic languages such as Spanish, French, Arabic, Swedish, Norwegian, Russian and English. LLMs, FSTs and More!
- nlp-library
- uralic-languages
- finnish
- sami
Full-Stack Solution for Real-Time Public Transport Tracking and Management, with Website and API Integration
- tracking
- bus
- django
- realtime
Write Fable Elmish apps with Lit
- lit
- fsharp
- fable
- elmish
Asynchronous programming utilities for F#
Go client for the GeoServer REST API — workspaces, datastores, layers, styles, security, ACL, GeoWebCache, Importer, plus OWS GetCapabilities/Describe. Tested against GeoServer 2.27 LTS and 2.28 stable.
- geoserver
- gis
- mapping
- golang
Converts a GTFS dataset into a SQLite DB + GeoJSONs / KMLs
The FSharp.Management project contains various type providers for the management of the machine.
A foundational framework for modular cryptographic proofs in Coq
- cryptography
- coq-library
- coq-formalization
- state-separating-proofs
An implementation of IO, Stream, Fiber for golang inspired by cats and fs2
OPNSense's Suricata IDS/IPS Detection Rules Against NMAP Scans
- crowdsec
- intrusion-detection
- intrusion-detection-system
- intrusion-prevention
trycast parses JSON-like values whose shape is defined by TypedDicts and other standard Python type hints.
- parsing
- python
- typechecking
- runtime-typechecking