Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Repository Index
47,133 repositories indexed
97–120 of 194 · Most stars
A collection of containers & algorithms for the Crystal programming language
- crystal
- algorithms
Nice parsers in OCaml without the boilerplate
- ocaml
- menhir
- boilerplate
- parsing
pure functional and generic programming for Erlang
- foldable
- traversable
- erlang
- lenses
Pure-Go SQL parser, formatter, linter and security scanner for 8 dialects. Zero-copy, race-free, with an LSP and MCP server.
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
- coq-library
- real-number
- coq
- coq-ci
A tool for Swift code modification intermediating between code generation and formatting.
A comprehensive, reusable and efficient concurrent-safe generics utility functions and data structures library.
- go
- golang
- data-structures
- functional
WebAssembly interop between Go and JS values.
- go
- webassembly
- interop
- golang
The easiest Future and Promises framework in Swift. No magic. No boilerplate.
- swift
- futures
- promises
- generics
😴 Functional programming with lazy immutable iterables
- iterables
- functional-programming
- iterator
- haskell
A CLI tool to automatically add type annotations into Python code. Must have tool for annotating existing code.
- code-formatter
- code-generation
- mypy
- pyannotate
Computer Graphics and Gaming API (Vulkan, OpenGL, GLFW, STB, ...) bindings for Java using Java 22 FFM APIs
- glfw
- glfw3
- glfw3-bindings
- java
The repository host gives no description.
TypeScript Iteration Tools Library
- fluentinterface
- generator
- infinite-iteration
- iterable
Generates Elm types, JSON decoders, JSON encoders and fuzz tests from JSON schema specifications
- elm
- json-schema
- json
- elixir
Library for writing patterns to generate or process (a)musical sequences of mathematically (un)related (non-)compound values in Lisp.
- supercollider
- lisp
- synth
- sequencer
Kobby is a codegen plugin of Kotlin DSL Client by GraphQL schema. The generated DSL supports execution of complex GraphQL queries, mutation and subscriptions in Kotlin with syntax similar to native GraphQL syntax.
- kotlin
- graphql
- client
- code-generation
gpool - a generic context-aware resizable goroutines pool to bound concurrency based on semaphore.
- concurrency
- workerpool
- goroutine-pool
- resource-pool
A library for managing pools of workers
- elixir-library
- worker-pool
- elixir
- poolboy
Unit tests generator for Go programming language
- go
- golang
- unit-testing
- generator
The repository host gives no description.
Fully auto-generated Common Lisp bindings to Raylib (6.0/5.5) and Raygui (4.0) using claw and cffi-object
Automatic C-bindings generator for the Crystal language
- crystal
- code-generation
- binding-generator