Run AS worker in your AdobeAir projects without having to deal with complicated flash.system.Worker class
Repository Index
56,139 visible repositories in the index
601–624 of 769 · Most stars
Lisp dialect implemented with Crystal
Interactive Lisp IDE with REPL, Inspector, Debugger and more for Sublime Text 4.
- lisp
- sublime-text
- flex-completion
- repl
GObject Introspection D Package Repository
Generate TypeScript interfaces from Go structs/interfaces - useful for JSON RPC
A portable reader and bridge for interacting with Objective-C and Cocoa
A very tiny and fast compose function.
The universal ISSR server compatible with <your-favorite-programming-language>
A simple embeddable scripting language which supports concurrent event processing.
- interpreter
- language
- embeddable-scripting-language
- object-oriented-programming
Graph Theory [maintainers=@chdoc,@damien-pous]
- coq
- graph-theory
- mathcomp
- docker-coq-action
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
Crystal bindings to the Zstandard (zstd) compression library
- crystal
- crystal-bindings
- zstd
- zstandard
Old Coq plugin for parametricity [maintainer=@ppedrot]
- parametricity
- coq-plugin
- coq
- docker-coq-action
Compile-Time Parser Generator in D programming language.
Library for selective receive OTP processes
A practical functional programming library for promises
- promise
- async-programming
- functional-programming
- javascript-callback-hell-solution
Functional Programming for EcmaScript(Javascript)
- functional-programming
- fp
- js
- es
Make native methods available as partially applied functions.
Automatically makes package.json projects (such as npm packages and node.js modules) compatible with Deno.
Common Lisp (Parenscript) library for React
go-fasttld is a high performance effective top level domains (eTLD) extraction module.
- compressed-trie
- idn
- idna
- ipv4
Run promise-returning & async functions a specific number of times concurrently
Adobe AIR native extension for the Bullet physics simulation library
Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]
- docker-image
- dockerfile
- opam
- coq