Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
- coq
- mathcomp
- regular-languages
- ssreflect
Repository Index
81,588 visible repositories in the index
1,249–1,272 of 1,489 · Most stars
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
CrossPascal aims to be a Delphi 7 compatible cross-platform source-to-source compiler which generates intermediate C code.
Modified HP-48 Superchip Binary to address undesirable quirks present in the platform.
Versatile Go code generator.
- golang
- code-generator
- generics
- conditional-compilation
A simple embeddable scripting language which supports concurrent event processing.
- interpreter
- language
- embeddable-scripting-language
- object-oriented-programming
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
Generate TypeScript interfaces from Go structs/interfaces - useful for JSON RPC
Clojure-style concurrency operations in Common Lisp
Hand-written bindings to Raylib for Common Lisp.
- common-lisp
- raylib
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
D binding to the Allegro5 game development library
A Starcraft 2 replay parser written in pure Ruby
Crystal bindings to Chipmunk, a fast and lightweight 2D game physics library
- crystal
- chipmunk
- physics-engine
- bindings
OpenGL and SDL2 bindings for Scala Native
- scala-native
- scala
- scala-library
- opengl
Compile-Time Parser Generator in D programming language.
Dynamic D bindings to OpenGL, compatible with BetterC, @nogc, and nothrow.
- dlang
- opengl-bindings
- bindbc
- opengl
Ada binding to the SFML library
- ada
- binding
- sfml
- multimedia
Functional Programming for EcmaScript(Javascript)
- functional-programming
- fp
- js
- es
Automatically makes package.json projects (such as npm packages and node.js modules) compatible with Deno.