A framework for smart contract verification in Coq
- blockchain
- coq
- smart-contracts
- verification
Repository Index
47,133 repositories indexed
4,393–4,416 of 6,396 · Most stars
Yet another URI library for Common Lisp
- common-lisp
- uri
igor is an abstraction layer for PostgreSQL with a gorm like syntax.
- igor
- gorm
- prepared-statements
- dbms
MQTT Web Frontend: Publish, Subscribe and see Topic Status in a comfortable UI
HomeMatic CCU Addon implementing a xml request functionality
- homematic
- smarthome
- ccu
- raspberrymatic
Haskell AMQP client library
GoStorm is a Go library that implements the communications protocol required to write Storm spouts and Bolts in Go that communicate with the Storm shells.
TranslatedC++ matrix multiplication performance experiments: from triple loops to blocking optimization and systolic arrays — an undergraduate introductory showcase project in the AI chip (NPU) direction
Dynamic library delivery tools for SBCL.
Modeling and Proving in Computational Type Theory
A mechanisation of Wasm in Rocq
- webassembly
- wasm
- coq
- rocq-prover
A message queue framework, with support for middleware and multiple adapters.
- elixir
- message-queue
F# type providers to support statically typed access to input parameters and result set of sql statement in idiomatic F# way. Data modifications via statically typed tables.
Collects PostgreSQL statistics, and either saves them in CSV files or print them on the stdout
CanAirIO is a citizen science initiative. We are developing a mobile application that is able to set a PM2.5 or CO2 sensors, and other related sensors, as a fixed station using WiFi or mobile station with an smartphone by using a Bluetooth connection.
⭐️ A tiny library for iOS and macOS to request reviews on the App Store. This is a wrapper around the native SKStoreReviewController.
Micro Framework for MicroPython Boards Managed via MQTT
- micropython
- mqtt
- mqtt-libraries
- micropython-mqtt
report top-level postgres stats
Ratus is a RESTful asynchronous task queue server. It translated concepts of distributed task queues into a set of resources that conform to REST principles and provides a consistent HTTP API for various backends.
- distributed-systems
- priority-queue
- task-queue
- task-scheduler
A high performance data transfer tool that can be used to transfer data from Bitcoin Core blockchain files to a SQL Server database
A library for reading and writing parquet files.
- golang
- parquet
- reader
- writer
Dart PostgreSQL driver: supports extended query format, binary protocol and statement reuse.
Verified hash-based AMQ structures in Coq
- bloom-filter
- probability
- coq-formalization
- coq
Extremely powerful Sass media query mixin. Allows you to create almost any media query you can imagine.
- mixins
- media-queries
- responsive
- breakpoints