eBPF verifier based on abstract interpretation
- abstract-interpretation
- static-analyzer
- ebpf
- ebpf-verifier
Repository Index
80,339 visible repositories in the index
4,489–4,512 of 6,761 · Most stars
A quality-of-life mod for the Forza titles released on the Xbox One.
Provides 9-patch based drop shadow for view elements. Works on API level 9 or later.
- android
- drop-shadow
- material-design
A "run" function for asyncio-based apps that does all the boilerplate.
- async
- async-await
- asynchronous
- asynchronous-tasks
Mininet fork adding support for container-based (e.g. Docker) emulated hosts.
CAI NEURAL API - Pascal based deep learning neural network API optimized for AVX, AVX2 and AVX512 instruction sets plus OpenCL capable devices including AMD, Intel and NVIDIA.
- pascal
- lazarus
- delphi
- free-pascal
Self-destructing, shareable, no-registration event pages
.net text extraction & export framework
- dataset
- export
- extraction
- fileformats
A text-based game inspired by tetris.
Goview is a lightweight, minimalist and idiomatic template library based on golang html/template for building Go web application.
- golang
- go
- template
- view
Graphics32 is a graphics library for Delphi and Lazarus. Optimized for 32-bit pixel formats, it provides fast operations with pixels and graphic primitives. In most cases Graphics32 considerably outperforms the standard TBitmap/TCanvas methods.
Context-based code search tool
- septum
- text
- search-in-text
- grep
Independent reproduction of SuperMimic (arXiv:2610.28480) on mjlab/MuJoCo Warp, written from the paper before the official release. For the authors' code see HybridRobotics/supermimic. Kept as a record: experiment log, full BONES-SEED results, checkpoint.
- humanoid
- mjlab
- motion-tracking
- mujoco
Portable OpenBSD ksh, based on the Public Domain Korn Shell (pdksh).
Adjacency List’ed Closure Table database design pattern implementation for the Laravel framework.
A 3D vision library from 2D keypoints: monocular and stereo 3D detection for humans, social distancing, and body orientation.
- 3d-object-detection
- 3d-detection
- 3d-deep-learning
- pytorch
Fast and Easy mapping from database and csv to POJO. A java micro ORM, lightweight alternative to iBatis and Hibernate. Fast Csv Parser and Csv Mapper
Couchbase Node.js Client Library (Official)
- couchbase
- nodejs
- sdk
Go version of P2P Database on IPFS
💥 A lightweight DSL & ORM which helps you to write SQL in Go.
TranslatedA multi-source Android music client that is a close imitation of Apple Music
- android-app
- apple-music
- compose
- ios-ui
Patch fetch/XMLHttpRequest to fake a REST API server in the browser, based on JSON data.
:hammer: Base16 Builder is a nimble command-line tool that generates themes for your favourite programs.
A Clojure(script) SQL library for building APIs: Datomic® (GraphQL-ish) pull syntax, data driven configuration, dynamic filtering with relations in mind
- clojure
- clojurescript
- sql
- server