Repository Index

A pure c# implementation of Lua 5.2 focus on compatibility with Unity

DFA regular expression library & friends

• fsm
• regex
• lexer-generator
• regexp

Sail architecture definition language

Universal toplevel for OCaml

🚀 fast JavaScript 4 Eclipse Vert.x

• vertx
• language-support
• javascript
• typescript

High performance Lua interpreter implemented in C# for .NET and Unity

Quick development library (AutoMapper, LinQ, IOC Dependency Injection, MemoryCache, Scheduled tasks, Json and Yml Config and Options pattern, Serializers, etc) with crossplatform support for Delphi/Firemonkey (Windows,Linux,OSX/IOS/Android) and freepascal (Windows/Linux).

• delphi
• azure
• config
• json

The Java microservice lib. QBit is a reactive programming lib for building microservices - JSON, HTTP, WebSocket, and REST. QBit uses reactive programming to build elastic REST, and WebSockets based cloud friendly, web services. SOA evolved for mobile and cloud. ServiceDiscovery, Health, reactive StatService, events, Java idiomatic reactive programming for Microservices.

• qbit
• java
• microservice
• websocket-support

parser for Google ProtocolBuffers definition

• protobuf
• parser
• proto3
• formatter

A Parsing Expression Grammar (PEG) module, using the D programming language.

A simple and powerful multithreading library for Delphi

Interactive console for Crystal programming language

• crystal
• repl

Macros for defining monads, and definition of the most common monads

A lightweight, dependency-free library for binding Lua to C++

• lua
• luajit
• cpp
• cpp17

The Ott tool for writing definitions of programming languages and calculi

XSD (XML Schema Definition) parser and Go/C/Java/Rust/TypeScript code generator

• xsd
• xsd-schema
• xml
• xml-parser

A graphql query language and schema definition language parser and formatter for rust

• rust
• graphql-query-language
• graphql
• schema

High-performance immutable data structures for modern JavaScript and TypeScript applications. Functional interfaces, deep/composite operations API, mixed mutability API, TypeScript definitions, ES2015 module exports.

• immutable
• typescript-definitions
• es2015-modules
• data-structures

An OCaml lexer generator for Unicode

Ruby speech recognition with Pocketsphinx

Formal proof of the Four Color Theorem [maintainer=@ybertot]

• coq
• ssreflect
• mathcomp
• four-color-theorem

A function definition package for Rocq

• coq
• programming-language
• dependent-types
• rocq

Useful cmake macros that help with: compiler/linker flags, collecting sources, PCHs, Unity builds and other stuff.

• linker-flags
• cmake
• compiler-flags
• unity-build

A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]

• coq-library
• typeclasses
• mathematics
• coq