Alternatives and similar repositories for VELDT-getting-started

Users that are interested in VELDT-getting-started are comparing it to the libraries listed below

• gergoerdi / clash-spaceinvaders
  Intel 8080-based Space Invaders arcade machine implemented on an FPGA, written in CLaSH
  ☆50Updated 3 years ago
• circuithub / haskell-gerber
  A library for parsing Gerbers
  ☆20Updated 7 months ago
• christiaanb / contranomy
  ☆30Updated 4 years ago
• gergoerdi / clash-tinybasic
  ☆11Updated 4 years ago
• thoughtpolice / clash-playground
  A Clash playground/starter kit, using Nix
  ☆36Updated 7 years ago
• bittide / bittide-hardware
  ☆23Updated this week
• expipiplus1 / clash-wavedrom
  ☆17Updated 2 years ago
• clash-lang / clash-starters
  Projects to get started with Clash
  ☆32Updated 3 weeks ago
• bergey / ghc-passes-graph
  ☆25Updated 5 years ago
• WJWH / HPi
  Library to access the GPIO pins on a Raspberry Pi from Haskell.
  ☆44Updated last year
• cchalmers / circuit-notation
  A plugin for circuit notation
  ☆12Updated 6 months ago
• rethab / bindings-dsl
  Library and macros to simplify writing Haskell FFI code
  ☆40Updated 3 years ago
• kcsongor / register-machine-type
  Universal Register Machine implemented at the type-level of Haskell
  ☆23Updated 9 years ago
• sheaf / acts
  Haskell library for semigroup actions and torsors
  ☆64Updated last year
• input-output-hk / nothunks
  ☆49Updated last month
• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆68Updated 2 months ago
• haskell-debugger / haskell-estgi-debugger
  A modern Haskell debugger
  ☆31Updated 9 months ago
• esoeylemez / netwire
  FRP library
  ☆63Updated 7 years ago
• conal / convolution-paper
  Generalized Convolution and Efficient Language Recognition
  ☆18Updated 6 years ago
• djv / VisualProf
  http://www.reddit.com/r/haskell/comments/cr15z/visualprof_profiles_your_haskell_program_and/?sort=hot
  ☆59Updated 10 years ago
• edwinb / IdrisApp
  An extensible IO-like monad-like thing for Idris, with support for including linear subprograms
  ☆22Updated 5 years ago
• TOTBWF / tactic-haskell
  Tactic Metaprogramming in Haskell
  ☆56Updated 6 years ago
• ocharles / what-it-do
  Automatically trace all (showable) binds in do expressions
  ☆84Updated 7 years ago
• Lysxia / first-class-families
  First-class type families
  ☆90Updated 3 months ago
• gelisam / typelevel-rewrite-rules
  rewrite rules for type-level equalities
  ☆62Updated 5 months ago
• gergoerdi / clashilator
  Generate interface between Clash and Verilator
  ☆23Updated last month
• michaelt / tagless
  oleg modules
  ☆32Updated 12 years ago
• ucsd-progsys / lh-plugin-demo
  A small package that demonstrates how to use LiquidHaskell as a GHC plugin
  ☆24Updated 3 weeks ago
• yav / dump-core
  ☆45Updated 4 years ago
• ekmett / codex
  UI experiments for coda
  ☆66Updated 4 years ago