Kansas Lava
☆50Oct 6, 2019Updated 7 years ago
Alternatives and similar repositories for kansas-lava
Users that are interested in kansas-lava are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Netlist and Verilog Haskell Package☆13Oct 6, 2019Updated 7 years ago
- Kansas Lava implementation of MOS 6502 microprocessor☆17Sep 19, 2018Updated 8 years ago
- Write type-safe shell scripts in Haskell☆14Jan 10, 2020Updated 6 years ago
- ☆28Mar 13, 2019Updated 7 years ago
- my branch of clash☆19Mar 24, 2014Updated 12 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Haskell library for hardware description☆108Aug 18, 2025Updated last year
- Indexed Types☆13Sep 4, 2022Updated 4 years ago
- simple interface to ghc's simd vector support☆23Jun 25, 2015Updated 11 years ago
- Rules for performing tasks related to FPGA development in Bazel.☆12Aug 12, 2021Updated 5 years ago
- Units of measure as a GHC typechecker plugin☆34Jun 8, 2026Updated 4 months ago
- Binary streaming library for Postgres data pipelines☆18Oct 2, 2019Updated 7 years ago
- Fast, packed, strict and lazy bit streams for Haskell with stream fusion☆12Oct 28, 2025Updated last year
- hsparql includes a DSL to easily create queries, as well as methods to submit those queries to a SPARQL server, returning the results as …☆15Mar 20, 2012Updated 14 years ago
- A type safe layer for llvm-general☆11Feb 5, 2016Updated 10 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Hybrid vectors e.g. mixed boxed/unboxed vectors that are suitable for use with vector-algorithms☆14Aug 29, 2025Updated last year
- http://www.stephendiehl.com/posts/generics.html☆12Mar 4, 2016Updated 10 years ago
- Bring fusion to everyone☆15Feb 6, 2020Updated 6 years ago
- A somewhat different approach to cabal hell problem.☆25Sep 27, 2012Updated 14 years ago
- Rasterific backend for diagrams☆16Oct 22, 2026Updated last week
- Formal semantics of BSV (Bluespec SystemVerilog), given as a Haskell Program and accompanying document☆17Jul 17, 2016Updated 10 years ago
- A simple type-safe query EDSL☆15Jan 9, 2019Updated 7 years ago
- Deprecated in favour of https://github.com/tonyday567/numhask☆14Apr 9, 2017Updated 9 years ago
- ☆29Mar 2, 2013Updated 13 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆66Jul 19, 2025Updated last year
- ☆19Jan 6, 2024Updated 2 years ago
- Traditional sparse linear algebra in Haskell☆12Jul 25, 2021Updated 5 years ago
- The goal of the Feldspar project is to define a high-level language that allows description of high-performance digital signal processing…☆47Oct 12, 2021Updated 5 years ago
- Deriver for unboxed vectors using Template Haskell☆13Sep 3, 2019Updated 7 years ago
- Haskell to VHDL/Verilog/SystemVerilog compiler☆1,623Updated this week
- A library of components for RISC-V implementations in Haskell CLaSH☆13Mar 24, 2017Updated 9 years ago
- A generic Haskell library for expressing rewrite rules with safe treatment of variables and binders☆12Jan 31, 2026Updated 8 months ago
- Extensible, Type Safe Error Handling in Haskell☆13Dec 22, 2020Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A dependently typed actor framework for haskell.☆12Apr 28, 2019Updated 7 years ago
- Monadic Javascript Compiler☆74May 21, 2016Updated 10 years ago
- Easy entropy source for Haskell users.☆27Feb 8, 2026Updated 8 months ago
- Protocol Buffers library for Haskell☆23Jul 18, 2021Updated 5 years ago
- This is the compiler for the Feldspar Language.☆23Jun 25, 2020Updated 6 years ago
- A Haskell client library for Cayley database graph☆14Aug 28, 2026Updated 2 months ago
- http://www.reddit.com/r/haskell/comments/cr15z/visualprof_profiles_your_haskell_program_and/?sort=hot☆58Sep 18, 2015Updated 11 years ago