Modified HP-48 Superchip Binary to address undesirable quirks present in the platform.
Repository Index
47,133 repositories indexed
865–888 of 1,152 · Most stars
Versatile Go code generator.
- golang
- code-generator
- generics
- conditional-compilation
Run AS worker in your AdobeAir projects without having to deal with complicated flash.system.Worker class
Next Generation of Apex Development
- salesforce-apex
- code-generation
- annotation
- transpiler
Generate TypeScript interfaces from Go structs/interfaces - useful for JSON RPC
Clojure-style concurrency operations in Common Lisp
The universal ISSR server compatible with <your-favorite-programming-language>
Implementation of Finger Tree in JavaScript.
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
OpenGL and SDL2 bindings for Scala Native
- scala-native
- scala
- scala-library
- opengl
Old Coq plugin for parametricity [maintainer=@ppedrot]
- parametricity
- coq-plugin
- coq
- docker-coq-action
Prime numbers for Coq
- coq
- theorem-proving
- elliptic-curves
- prime-numbers
Compile-Time Parser Generator in D programming language.
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
Functional Programming for EcmaScript(Javascript)
- functional-programming
- fp
- js
- es
Ada binding to the SFML library
- ada
- binding
- sfml
- multimedia
Make native methods available as partially applied functions.
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 repository host gives no description.
- golang
- s-expressions
- expression
- evaluation
Easy, concurrent, asynchronous tasks in Swift.
- swift
- asynchronous
- dispatch
- concurrency
The 100% Pure x86-64 Assembly Systems Language
- assembler
- assembly
- assembly-lang
- assembly-language