clash-lang/ghc-typelits-knownnat clash-lang/ghc-typelits-knownnat

  • Stars
    star
    14
  • Rank 1,438,899 (Top 29 %)
  • Language
    Haskell
  • License
    Other
  • Created about 8 years ago
  • Updated 5 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
clash-lang/ghc-typelits-knownnat
github

clash-lang

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Derive KnownNat constraints from other KnownNat constraints

More Repositories

1

clash-compiler

Haskell to VHDL/Verilog/SystemVerilog compiler
Haskell
1,437
star
2

ghc-typelits-natnormalise

Normalise GHC.TypeLits.Nat equations
Haskell
43
star
3

clash-prelude

CLaSH prelude library containing datatypes and functions for circuit design
Haskell
31
star
4

clash-starters

Projects to get started with Clash
Haskell
26
star
5

clash-protocols

a battery-included library for dataflow protocols
Haskell
19
star
6

ghc-typelits-extra

Extra type-level operations on GHC.TypeLits.Nat and a custom solver
Haskell
16
star
7

ghc-tcplugins-extra

Utilities for writing GHC type-checker plugins
Haskell
10
star
8

stack-templates

Templates for `stack new` command
Haskell
3
star
9

clash-cores

Haskell
3
star
10

clash-cosim

C
2
star
11

clash-lang.github.io

The CLaSH website
CSS
2
star
12

clash-simulation-benchmarks

1
star
13

ghc-typelits-appendsymbol

Haskell
1
star
14

clash-lang.org

JavaScript
1
star