Self-contained OCaml bindings to linenoise, easy high level readline functionality in OCaml
- ocaml
- linenoise
- readline
- standalone
Repository Index
47,133 repositories indexed
769–792 of 1,006 · Most stars
Hundreds of graphical effects, and a library that provides GLSL functionality in pure Delphi code
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.
- scala
- dfa
- regular-expression
- regular-expression-engine
Function composition
Natural language generation language
- natural-language-generation
- nlg
Permutations and permutation groups in Common Lisp.
- permutations
- permutation-groups
- permutation-algorithms
- lisp
The repository host gives no description.
Generate Yew components from React components via Typescript type definitions
- yew
- proc-macro
- react
- typescript
A framework for implementing and certifying impure computations in Coq
- coq
- formal-verification
- freer-monads
High performance utility functions using Generics
- filter
- functional
- generics
- go
Home for Blazor Extensions
- blazor-extensions
- blazor
- webassembly
- wasm
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+.
Reactive computation tree library for non-blocking concurrent Common Lisp
- data-flow
- asynchronous
- common-lisp
- concurrency
comvert bool expression to elasticsearch DSL in rust
- elastic
- elasticsearch
- dsl
- sql
Compute cluster (HPC) job submission library for Go (#golang) based on the open DRMAA standard.
Go 1.18+ polymorphic generic containers and functions.
- go
- golang
- generics
C# wrapper for FlashRuntimeExtensions
- adobe-air
- ane
- air-native-extensions
- csharp
Manifold implementation in Clojurescript
- clojurescript
- manifold
- rx
- stream
Type-safe library for building parallel applications, built on top of Async's Rpc module.
A library which aids in making any JavaScript library more functional.
Cicili: Safe Modern C Solution. The C language in S-expressions — Lisp macros with type inference as C's build system: generics, RAII, refcounting and pattern matching with zero runtime and no GC.