BLAS and LAPACK binding in OCaml with type-based static size checking for matrix operations
Repository Index
47,133 repositories indexed
16,465–16,488 of 22,391 · Most stars
OPNSense's Suricata IDS/IPS Detection Rules Against NMAP Scans
- crowdsec
- intrusion-detection
- intrusion-detection-system
- intrusion-prevention
Safe number conversion in Go: address gosec G115 and cwe-190 Integer Overflow or Wraparound
Crystal syntax highlighting for Sublime Text
- crystal
- sublime-text
Provides growing, harvesting and recipe information for the 45 plants in the database as well as a json api so that people can hopefully use this data to build other apps.
- farming
- agriculture
- ruby
- recipes
trycast parses JSON-like values whose shape is defined by TypedDicts and other standard Python type hints.
- parsing
- python
- typechecking
- runtime-typechecking
Lightweight Bluetooth Low Energy driver written in pure python for micropython
- bluetooth-low-energy
- micropython
- pyboard
- hci
distributed data sync with operational transformation/transforms
- golang
- dot
- ot
- operational
Translated养只AI (Raise an AI) — an open-source, all-in-one platform for raising a whale girl. Supports bringing your own model, Bilibili exploration, diary memory, and Feishu interaction.
- ai-companion
- bilibili
- desktop-pet
- digital-life
Java wrapper for SDL and LibGDX controller API
Big Data essentials: Hadoop, MapReduce, Spark. Explore tutorials and demos in Jupyter notebooks—most are self-contained and live, ready to run with a click.
Hoare Type Theory
- hoare-logic
- hoare-monads
- separation-logic
- coq
🪡 Dead simple, lightweight tracing.
- go
- golang
- library
- module
Open framework for calculating spatial urban sprawl indices and performing disaggregated population estimates using open data
- openstreetmap
- overpass-api
- urban-planning
- urban-sprawl
[WIP] A JSX-based UI builder for auto generate code.
{{Mustache}} for Crystal :gem:
- mustache
- crystal
- template
😀 The Acid2 test, now for Game Boy Color! 😀
Aqara (Xiaomi) Gateway to MQTT bridge (I use it for home assistant integration)
- aqara-mqtt
- mqtt
- xiaomi
- aqara
Free flash panorama viewer
https://tnxfr.com - App to share files & texts between your devices without installing anything
- file-sharing
- asp-net-core
- websocket
- signalr-core
The legacy distributed object storage server developed by PitchPoint Solutions can store billions of large and small files using minimal resources. Object data is stored in replicated volumes implemented like Facebooks Haystack Object Store. Object metadata which essentially maps an object name to a volume position is stored in an elasticsearch index. (Development by PitchPoint Solutions has been discontinued)
- distributed-storage
- distributed-systems
- vertx
- rxjava
curated list of awesome resources, pointers, and tips related to veganism
- awesome
- veganism
- community
- plant-based
A curated list of bookmarks, packages, tutorials, videos and other cool resources from the Magento ecosystem
A command-line validation tool for AWS Cloud Formation that allows to conquer the cloud faster!
- golang
- go
- template
- cloudformation