All Categories → No Category → type-level-programming

Top 4 type-level-programming open source projects

Type-level well-kinded natural numbers.

✭ 32

haskell ghc type-level type-level-programming

HashedExpression

Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.

✭ 40

haskell c machine-learning optimization edsl symbolic type-safety solvers symbolic-computation type-level-programming optimization-algorithms symbolic-differentiation lbfgs ipopt lbfgs-b

Symbol manipulation

✭ 32

haskell type-level-programming

type-operators-rs

A macro for defining type operators in Rust.

✭ 56

rust type-system type-level type-level-programming

1-4 of 4 type-level-programming projects