Repository Index

Common Lisp Yacc

ABNF in, parser out

• abnf
• parsing
• parser-generator
• elixir

Hundreds of graphical effects, and a library that provides GLSL functionality in pure Delphi code

extensible, type-and-source-polymorphic, non-linear applicative parser combinator library for F# 3.0 and 4.0

• f-sharp
• parser
• combinator
• library

The repository host gives no description.

query language and terminal utility for querying and transforming Lisp, JSON and other text files. written in Common Lisp

• common-lisp
• domain-specific-languages
• dsl
• json

A framework for implementing and certifying impure computations in Coq

• coq
• formal-verification
• freer-monads

The Effect monad, for handling native side effects

Adobe AIR native extension for Microsofts Kinect v2 for Windows SDK

A stand-alone Swift wrapper around the mongo-c client library, enabling access to MongoDB servers.

• swift
• mongodb-connector
• server-side-swift
• mongodb

Finite sets, finite maps, multisets and generic sets

• coq
• ssreflect
• mathcomp
• finite-sets

TurboRaylib is a cool and clean Raylib bindings for Object Pascal (Delphi and FreePascal)

• delphi
• easy-to-use
• freepascal
• game

A Python type checker

Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]

• coq
• mathcomp
• regular-languages
• ssreflect

Run AS worker in your AdobeAir projects without having to deal with complicated flash.system.Worker class

Lisp dialect implemented with Crystal

• crystal
• lisp
• language

Interactive Lisp IDE with REPL, Inspector, Debugger and more for Sublime Text 4.

• lisp
• sublime-text
• flex-completion
• repl

GObject Introspection D Package Repository

Advanced Developer Async Programming Toolkit

• game-engine
• event
• framework
• async

A portable reader and bridge for interacting with Objective-C and Cocoa

• cocoa
• lisp
• objective-c
• gui

A simple embeddable scripting language which supports concurrent event processing.

• interpreter
• language
• embeddable-scripting-language
• object-oriented-programming

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

Library for selective receive OTP processes

Functional Programming for EcmaScript(Javascript)

• functional-programming
• fp
• js
• es