symbols
Manipulate type-level strings.
Available on Hackage
The implementation is described in this blog post.
kcsongor / symbols
Licence: BSD-3-Clause license
Symbol manipulation
Stars: ✭ 32
Programming Languages
haskell
3896 projects
Labels
Projects that are alternatives of or similar to symbols
type-operators-rs
A macro for defining type operators in Rust.
Stars: ✭ 56 (+75%)
Mutual labels: type-level-programming
type-natural
Type-level well-kinded natural numbers.
Stars: ✭ 32 (+0%)
Mutual labels: type-level-programming
HashedExpression
Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.
Stars: ✭ 40 (+25%)
Mutual labels: type-level-programming
Note that the project description data, including the texts, logos, images, and/or trademarks,
for each open source project belongs to its rightful owner.
If you wish to add or remove any projects, please contact us at [email protected].