47,133 repositories indexed
97–120 of 136 · Most stars
dregex is a Java library that implements a regular expression engine using deterministic finite automata (DFA). It supports some Perl-style features and yet retains linear matching time, and also offers set operations.
A powerful C# coroutine library for Godot.
Creates a system where users are forced to login in dedicated independent docker containers.
The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.
Shopify's Liquid templating language in OCaml. Features an interpreter, parser and lexer.
TurboRaylib is a cool and clean Raylib bindings for Object Pascal (Delphi and FreePascal)
OOP Pascal Wrapper and bindings for Tilengine 2D retro graphics engine
Advanced Developer Async Programming Toolkit
A simple embeddable scripting language which supports concurrent event processing.
Crystal bindings to Chipmunk, a fast and lightweight 2D game physics library
Old Coq plugin for parametricity [maintainer=@ppedrot]
Plugin for mypy to support zope.interface
GoT is a template engine that turns templates into Go code to compile into your app.
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
Mutation analysis tool for Coq verification projects
Python Frontend to Algorithms of the Algorithm Engineering Group Heidelberg
Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]
Common Lisp JSON handling library (not a parser!), with the aim for convenience and brevity.
The fastest HTML builder engine for Crystal
Capstone Disassembler Library Binding for Delphi
Gulp plugin to transform ES6 to ES5.
A plugin for Mocha to pass JS files through the Traceur transpiler
Gatling DSL extensions — feeders, profile management, transactions, assertions, Redis integration, and utility functions
Stateful actors on Apache Flink 2.x and Java 21 — durable per-key state, exactly-once messaging, Kafka and Kinesis I/O, Kubernetes-native deployment. Continues the Apache Stateful Functions programming model on the modern Flink line.