Run AS worker in your AdobeAir projects without having to deal with complicated flash.system.Worker class
Repository Index
47,133 repositories indexed
193–216 of 256 · 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
A portable reader and bridge for interacting with Objective-C and Cocoa
The universal ISSR server compatible with <your-favorite-programming-language>
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
Dynamic D bindings to OpenGL, compatible with BetterC, @nogc, and nothrow.
- dlang
- opengl-bindings
- bindbc
- opengl
the alchemist's happy path with elixir
- elixir
- error-handling
- with
- monad
Static & dynamic D bindings to GLFW, compatible with BetterC, @nogc, and nothrow.
- dlang
- glfw-bindings
- bindbc
- glfw
Automatically makes package.json projects (such as npm packages and node.js modules) compatible with Deno.
The Advanced Scripting Framework is a modern scripting for VBA: JavaScript-like syntax, classes with inheritance, map/filter/reduce, closures, regex. No COM, works everywhere. Transform Excel automation.
- interpreter
- language
- programming
- vba
The Thue programming language: Programming with grammars
Wrapper to use the Allegro game library with Pascal/Delphi. Synced with official.
- delphi
- pascal
- allegro5
- lazarus
A Common Lisp library that enables fast and convenient interoperation with foreign objects.
VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations
Elixir library to do pipeable transformations on html strings (with CSS selectors)
- elixir
- html-parser
- html-renderer
- css-selector
Simple ActionN composition to use with RxJava [STABLE]
A compatible re-implementation of the BibTeX program in Common Lisp, with a BST-to-CL compiler. By Matthias Köppe
Free Monads and useful constructions to work with them
Experiments on workflow with common lisp
- emacs
- common-lisp
- slime
- test-automation
Common Lisp JSON handling library (not a parser!), with the aim for convenience and brevity.
A Coq library providing tactics to deal with hypothesis
- coq
- formal-proofs
- proof-assistant
- tactics
Kotlin recursion schemes with Arrow
- recursion-schemes
- kotlin
- functional-programming
- recursive-structures
Crystal C bindings for cmark-gfm to work with Commonmark and Github Flavored Markdown
- crystal
- commonmark
- gfm
- markdown