All software
1Filter
Mentions
Keywords
9
Program languages
1
Licenses
2
12
1-2 of 2
Generics library for datatype-generic programming in Agda
Generics library for datatype-generic programming in Agda
- Agda
- Dependent Types
- Generic Programming
- + 2
2
3
ModuleMixins.jl
Make your Julia modules composable! With ModuleMixins you can design larger programs in Julia, building out components by merging structure definitions from smaller components, similar to designing an [Entity Component System](https://en.wikipedia.org/wiki/Entity_component_system).
- Entity Component System
- Julia Package
- Metaprogramming
- + 2
- (Julia)
1
0