OCaml PPX deriver for reflection
Repository Index
47,133 repositories indexed
73–96 of 96 · Most stars
Finite sets, finite maps, multisets and generic sets
- coq
- ssreflect
- mathcomp
- finite-sets
Taming Reflection to Support Whole-Program Analysis of Android Apps
Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]
- coq
- mathcomp
- 2-3-tree
- avl-tree
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
- coq
- mathcomp
- regular-languages
- ssreflect
Package set is a small wrapper around the official reflect package that facilitates loose type conversion and assignment into native Go types.
- go
- golang
- reflection
- typeconversion
gpath is a Go package to access a field by a path using reflect pacakge
- golang
- reflect
- static-analysis
The formal proof of the Odd Order Theorem
- coq
- ssreflect
- mathcomp
- feit-thompson-theorem
An easy-to-use reflection-based dependency injection package that fits into any Go application.
- dependency-injection
- go
- golang
- service-locator
Micromega tactics for Mathematical Components
- coq
- ssreflect
- mathcomp
- proof-automation
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
- coq
- bourbaki
- set-theory
- mathcomp
Stable sort algorithms and their stability proofs in Rocq
- mathcomp
- ssreflect
- sorting-algorithms
- mergesort
Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
- coq
- canonical-structures
- typeclasses
- ssreflect
Golang struct operations.
- reflection
- golang-struct
- library
- utility
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
Displays what's in Twig
Compile-time annotation processor for Spring Boot. Generates predictable REST APIs, DTOs, JSON Patch endpoints, and N+1 safe JPA repositories without runtime reflection.
- annotation-processor
- boilerplate
- code-generator
- dto
A small library to easily map Entitys to DTOs and back for your API
- annotation-processor
- boilerplate-reduction
- dto
- dto-entity-mapper
TranslatedBind data to any Go value. Can use built-in and custom expression binding capabilities; supports data validation logic for Go values.
- gbind
- bind
- cache
- expression
GO Dependency Injection
- go
- dependency-injection
- constructor
- reflection
Golang utility functions for working with reflection
- go
- golang
- reflection-library
A simple and elegant interface for GO's reflect.
- go
- golang
- reflect
- reflection
Immuto - Java Records-first object mapper.An annotation processor generates type-safe mapper implementations at compile time; the generated code calls each target record's canonical constructor directly - zero runtime reflection, sealed class support, full Java 21+ idioms.
- annotation-processor
- bean-mapper
- canonical-constructor
- code-generation
This tool can be useful for writing a tests. If you want change private field in struct from imported libraries than it can help you.
- go
- golang
- testing
- reflection