Run AS worker in your AdobeAir projects without having to deal with complicated flash.system.Worker class
Repository Index
47,133 repositories indexed
313–336 of 397 · Most stars
Interactive Lisp IDE with REPL, Inspector, Debugger and more for Sublime Text 4.
- lisp
- sublime-text
- flex-completion
- repl
A very tiny and fast compose function.
The universal ISSR server compatible with <your-favorite-programming-language>
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
Compile-Time Parser Generator in D programming language.
Dynamic D bindings to OpenGL, compatible with BetterC, @nogc, and nothrow.
- dlang
- opengl-bindings
- bindbc
- opengl
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 100% Pure x86-64 Assembly Systems Language
- assembler
- assembly
- assembly-lang
- assembly-language
go-fasttld is a high performance effective top level domains (eTLD) extraction module.
- compressed-trie
- idn
- idna
- ipv4
The completeness of Djula meets the usability of Eco.
GoT is a template engine that turns templates into Go code to compile into your app.
- golang
- go
- template-engine
- templates
Compile Sass/SCSS to CSS in Crystal (libsass binding)
The formal proof of the Odd Order Theorem
- coq
- ssreflect
- mathcomp
- feit-thompson-theorem
Tealang - high level language for Algorand ASC1 and TEAL
VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations
OCaml bindings to PCRE (Perl Compatibility Regular Expressions)
- ocaml
- pcre
- pattern-matching
- string-matching
Simple ActionN composition to use with RxJava [STABLE]
A compiler for an Ada-like language
Micromega tactics for Mathematical Components
- coq
- ssreflect
- mathcomp
- proof-automation
Parser & Resolver & Abstract Completion library for D