A Coq library for Homotopy Type Theory
- type-theory
- homotopy-type-theory
- univalent-foundations
Repository Index
63,269 visible repositories in the index
2,833–2,856 of 6,005 · Most stars
An active model wrapper for the Neo4j Graph Database for Ruby.
An extensible framework for linking databases and interactive views.
- data
- duckdb
- interaction
- scalability
Zero-abstraction Postgres for TypeScript: a non-ORM database library
- postgresql
- postgres
- postgresql-database
- postgres-database
Localization/I18n: Incrementally update/translate your Strings files from .swift, .h, .m(m), .storyboard or .xib files.
- localization
- xib
- storyboard
- swift
Reproducing and studying RL algorithms for LLM agents, including GRPO, GSPO, DAPO, OPD, Search-R1, ReTool, ALFWorld and beyond.
- agent-rl
- dapo
- gspo
- opd
Compose your business logic into commands that sanitize and validate input.
Aerospike Database Server – flash-optimized, in-memory, nosql database
IoTSharp is an open-source IoT platform for data collection, processing, visualization, and device management.
- visualization
- iot-platform
- iot-cloud
- iotsharp
Zero-boilerplate REST API framework for PHP 8+. Auto-generates routes, docs, validation.
- restler
- php
- phpdoc-comments
- html-format
Open-source construction ERP - BOQ, PDF/CAD/BIM takeoff, AI cost matching, 293 guided cases. 120,000+ priced positions, 44 languages, 190+ modules, cost data for 40+ markets. AGPL-3.0. pip install openconstructionerp
A reactive atomic state engine for React(including React 18) and all React like, carrying dependency collection feature, supporting fine-grained updates.
- concent
- react
- state-management
- state
Build all of your apps using what you already know and love ❤️
- csharp
- odata
- blazor
- maui
A curated list of amazingly awesome database libraries, resources and shiny things by https://www.numetriclabz.com/
Hollow is a java library and toolset for disseminating in-memory datasets from a single producer to many consumers for high performance read-only access.
Human Pose Estimation Related Publication
- 3d-human-pose
- 2d-human-pose
- human-pose-estimation
- video-pose-estimation
Nearest Neighbor Search with Neighborhood Graph and Tree for High-dimensional Data
- approximate-nearest-neighbor-search
- k-nearest-neighbors
- knn-search
- nearest-neighbors
Triton DataCenter: a cloud management platform with first class support for containers.
A collection of computer vision pre-trained models.
😎 Awesome LIDAR list. The list includes LIDAR manufacturers, datasets, point cloud-processing algorithms, point cloud frameworks and simulators.
- awesome-list
- awesome
- lidar
- pointcloud
Micro-framework for data-driven architecture
- micro-framework
- clojure
- data-driven
Simple and fast databaseless PHP blogging platform, and Flat-File CMS
- php
- blog
- blog-engine
- flat-file
The official C++ client API for PostgreSQL.
- postgresql
- postgres
- cplusplus
- cplusplus-17
Jupyter magics and kernels for working with remote Spark clusters