A framework for implementing and certifying impure computations in Coq
- coq
- formal-verification
- freer-monads
Repository Index
73,862 visible repositories in the index
505–528 of 610 · Most stars
Home for Blazor Extensions
- blazor-extensions
- blazor
- webassembly
- wasm
A subset of TypeScript for developing Algorand Smart Contracts. Enables AVM development with native TypeScript syntax, tooling, and IDE support
Reactive computation tree library for non-blocking concurrent Common Lisp
- data-flow
- asynchronous
- common-lisp
- concurrency
A stand-alone Swift wrapper around the mongo-c client library, enabling access to MongoDB servers.
- swift
- mongodb-connector
- server-side-swift
- mongodb
Modern concurrency tools for Crystal
- crystal
- concurrent
TurboRaylib is a cool and clean Raylib bindings for Object Pascal (Delphi and FreePascal)
- delphi
- easy-to-use
- freepascal
- game
Pure Python parser for classic Windows Event Log files (.evt)
Manifold implementation in Clojurescript
- clojurescript
- manifold
- rx
- stream
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
- coq
- mathcomp
- regular-languages
- ssreflect
Ordered-concurrently a library for concurrent processing with ordered output in Go. Process work concurrently and returns output in a channel in the order of input. It is useful in concurrently processing items in a queue, and get output in the order provided by the queue.
- concurrent
- golang
- golang-library
- data-science
Modified HP-48 Superchip Binary to address undesirable quirks present in the platform.
Lisp dialect implemented with Crystal
Advanced Developer Async Programming Toolkit
- game-engine
- event
- framework
- async
Next Generation of Apex Development
- salesforce-apex
- code-generation
- annotation
- transpiler
A simple embeddable scripting language which supports concurrent event processing.
- interpreter
- language
- embeddable-scripting-language
- object-oriented-programming
Implementation of Finger Tree in JavaScript.
Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436
D binding to the Allegro5 game development library
Functional Programming for EcmaScript(Javascript)
- functional-programming
- fp
- js
- es
XAsyncSockets is an efficient Python/MicroPython library of managed asynchronous sockets.
- python
- asynchronous
- sockets
- tcp
Easy, concurrent, asynchronous tasks in Swift.
- swift
- asynchronous
- dispatch
- concurrency
Perl, but fluffy like a cat!
PostgreSQL client library (libpq) binding
- pecl
- libpq
- asynchronous
- postgresql