47,133 repositories indexed
1,009–1,032 of 1,367 · 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.
Julia interface to WebGL using Three-js custom elements and Patchwork.jl
Wait for any promise to be fulfilled
Function composition
extensible, type-and-source-polymorphic, non-linear applicative parser combinator library for F# 3.0 and 4.0
Creates a system where users are forced to login in dedicated independent docker containers.
⚡ V ImGui module -- dear imgui / cimgui wrapper
Intel Integrated Performance Primitives and Intel Threading Building Block for Delphi RTL
Generate Yew components from React components via Typescript type definitions
query language and terminal utility for querying and transforming Lisp, JSON and other text files. written in Common Lisp
🐝 A Highly Performant and easy to use goroutine pool for Go
A framework for implementing and certifying impure computations in Coq
Fast YAML native library for Erlang / Elixir
The Effect monad, for handling native side effects
Home for Blazor Extensions
Auto-generated D bindings for Vulkan
Adobe AIR native extension for Microsofts Kinect v2 for Windows SDK
A subset of TypeScript for developing Algorand Smart Contracts. Enables AVM development with native TypeScript syntax, tooling, and IDE support
Relation algebra library for Coq
A drop-in modernization of jmoiron/sqlx that fixes lexer bugs, automates IN expansion, and adds pluggable hooks — built for Go 1.21+.
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.
Utilities for using Tinkerpop3 via the node-java API in Typescript
Reactive computation tree library for non-blocking concurrent Common Lisp
comvert bool expression to elasticsearch DSL in rust