Verified hash-based AMQ structures in Coq
- bloom-filter
- probability
- coq-formalization
- coq
Repository Index
47,133 repositories indexed
3,457–3,480 of 4,848 · Most stars
Enterprise ColdFusion (CFML) Modular CMS
- cms
- cms-framework
- modular-cms
- coldfusion
Version 5 of the Glass mapping framework, the best ORM for Sitecore.
DBA's framework for MySQL
IOC Framework for Starling based games
CloudPeek is a lightweight, cross-platform, single-header C++ point cloud viewer. It’s designed for simplicity and efficiency, requiring no heavy libraries like PCL or Open3D. Ideal for visualizing and interacting with 3D data from LiDAR, photogrammetry, or other datasets, CloudPeek delivers powerful, real-time exploration in a minimalistic package
Knot.x is a highly-efficient and scalable integration framework designed to build backend APIs
- vertx
- rxjava
- knotx
- aem
Hprose is a cross-language RPC. This project is Hprose 2.0 for Delphi and FreePascal
- rpc
- rpc-framework
- rpc-client
- rpc-library
The reactive framework for Go.
- cli
- components
- framework
- frontend
PureMVC Standard Framework for ActionScript 3
Advanced unit test framework for D
HTML view helpers for Scrivener
- scrivener
- pagination-links
- html
- custom-html
A curated list of awesome ColdFusion frameworks, libraries and software.
AsyncCalls – Asynchronous function call framework
This library provides a simple microservice framework based on clean architecture principles with a working example implemented.
- golang
- go
- microservices
- microservice
YAML parser and emitter for the D programming language
- yaml
- parser
- emitter
- dlang
A CLI to transform a Prisma schema to a PlantUML Entity RelationShip Diagram
A strongly-typed genetic programming framework for Python
- python
- ipynb
- genetic-programming
- framework
Alf is an out of this world super fast and configurable framework for zsh; it's modeled after Prezto and Antigen while utilizing Oh My Zsh under the covers; and offers standard defaults, aliases, functions, auto completion, automated updates and installable prompt themes and plugins.
Example repo on how to use yarn workspaces together with the serverless framework.
:fuelpump: Differific - a fast and convenient diffing framework.
PureScript UI framework based on lenses.
Some very simple examples to get you started with the Line-us API
- gcode-commands
- drawing
- robot
- drawing-machine
A WebSocket Real-Time Communication (RTC) Web API framework