type-natural
Type-level well-kinded peano natural numbers and singletons with proofs of their properties.
konn / type-natural
Licence: other
Type-level well-kinded natural numbers.
Stars: ✭ 32
Programming Languages
haskell
3896 projects
Projects that are alternatives of or similar to type-natural
type-operators-rs
A macro for defining type operators in Rust.
Stars: ✭ 56 (+75%)
Mutual labels: type-level, type-level-programming
what-it-do
Automatically trace all (showable) binds in do expressions
Stars: ✭ 81 (+153.13%)
Mutual labels: ghc
HashedExpression
Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.
Stars: ✭ 40 (+25%)
Mutual labels: type-level-programming
the-thoralf-plugin
This a type-checker plugin to rule all type checker plugins involving type-equality reasoning using smt solvers.
Stars: ✭ 22 (-31.25%)
Mutual labels: ghc
ghc-stack
Hacking GHC's Stack for Fun and Profit (featuring The Glorious Haskell Debugger v0.0.1 Pre-alpha)
Stars: ✭ 69 (+115.63%)
Mutual labels: ghc
haskell-hot-swap
Hot swapping compiled code while keeping a websocket connection open
Stars: ✭ 24 (-25%)
Mutual labels: ghc
cdetect
🔬 Detect which compiler and compiler version a Linux executable (in the ELF format) was compiled with
Stars: ✭ 23 (-28.12%)
Mutual labels: ghc
ghc-whole-program-compiler-project
GHC Whole Program Compiler and External STG IR tooling
Stars: ✭ 89 (+178.13%)
Mutual labels: ghc
haskell-code-spot
Visual tool to spot odd runtime behaviour of Haskell programs.
Stars: ✭ 106 (+231.25%)
Mutual labels: ghc
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].