47,133 repositories indexed
577–600 of 798 · 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.
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
Permutations and permutation groups in Common Lisp.
Intel Integrated Performance Primitives and Intel Threading Building Block for Delphi RTL
The repository host gives no description.
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
High performance utility functions using Generics
Auto-generated D bindings for Vulkan
A subset of TypeScript for developing Algorand Smart Contracts. Enables AVM development with native TypeScript syntax, tooling, and IDE support
High-speed approximate nearest neighbors for Ruby
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
Crystal wrapper for the libsodium crypto API
☢️ V Nuklear module -- nuklear wrapper
A stand-alone Swift wrapper around the mongo-c client library, enabling access to MongoDB servers.
Compute cluster (HPC) job submission library for Go (#golang) based on the open DRMAA standard.
Ruby FFI bindings for Hunspell.
C# wrapper for FlashRuntimeExtensions
OOP Pascal Wrapper and bindings for Tilengine 2D retro graphics engine