general purpose utils for interacting with vert.x
Repository Index
47,133 repositories indexed
169–192 of 194 · Most stars
Backport for type hinting generics in standard collections and union types as X | Y
A certified Sudoku solver in Coq [maintainers=@siraben,@thery]
- coq
- sudoku
- nix-action
pipelines contains generic functions for concurrent processing
- concurrency
- go
- golang
- pipelines
Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]
- coq
- mathcomp
- ssreflect
- tarjan-algorithm
Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]
- coq
- mustache-templates
- continuous-integration
Crystal binding generator for raw SDL 3 methods
- binding-generator
- bindings
- sdl
- sdl3
Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to real and complex analysis. [maintainer=@jmadiot]
- coq
- complex-analysis
- real-analysis
PEG parser generator for VB6
- vb6
- peg
- parser
- grammar
lexer generator
LALR(1) Parser Generator for the D Programming Language
Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]
- coq
- mathcomp
- modal-logics
- ctl
Abstractions and utilities to get rid of boilerplate code in business logic
- datastructures
- generic
- go
- golang
Ada finite-state machine generator.
This is a library for generating a Common-Lisp foreign function interface (FFI) from GObject Introspection XML files (GIR files).
- gobject-introspection
- code-generation
Generic one-liners to work with variables, slices and maps
- go
- golang
LuaJIT bindings for Crystal
Native V-lang implementation of Rosie-RPL. Rosie is a pattern language (RPL for short). A little bit like regex, but aiming to solve several of the regex issues.
- rosie
- vlang
- vlang-module
- rpl
Docker images of coq-mathcomp [maintainer=?]
The kitchen sink for clean Go projects — generic helpers for slices, maps, parallel work, JSON, HTTP, and containers
- collections
- data-structures
- functional-programming
- generics
A template designer for Djula
Grammar handling and parser generation Ada library
- ada
- grammars
- parsing
- syntax-analysis
Json-values allows Java developers to harness the power of persistent data structures when working with JSON data, simplifying complex data manipulation. It provides a purely functional approach to JSON
- functional-programming
- java
- json
- json-generator
C binding generator for OpenGL API's