#
deriving
Here are 15 public repositories matching this topic...
Derives and generates mundane golang functions that you do not want to maintain yourself
-
Updated
Jun 21, 2024 - Go
A Protocol Buffers codec generator for OCaml
-
Updated
Feb 4, 2021 - OCaml
Flexible deriving macro for new-type pattern.
-
Updated
Oct 19, 2024 - Rust
implementation deriving for idris2
library
reflection
interface
lib
idris
implementation
deriving
elaboration
idris-ecosystem
elab
newtypes
idris2
idris2-ecosystem
-
Updated
Feb 21, 2021 - Idris
TicTacToe-React - for consulting, this project was made with Max Schwarzmüller in a react Course
-
Updated
Jan 12, 2024 - JavaScript
Newtype, Generic Interface Deriving
-
Updated
Dec 6, 2022 - Idris
Improve this page
Add a description, image, and links to the deriving topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the deriving topic, visit your repo's landing page and select "manage topics."