conal / talk-2015-haskell-to-hardware
From Haskell to Hardware via CCCs
☆58Updated 8 years ago
Alternatives and similar repositories for talk-2015-haskell-to-hardware:
Users that are interested in talk-2015-haskell-to-hardware are comparing it to the libraries listed below
- CLaSH prelude library containing datatypes and functions for circuit design☆31Updated 6 years ago
- A hip inductive theorem prover!☆89Updated 3 years ago
- Plover is a language for matrix algebra on embedded systems.☆48Updated 3 years ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 7 years ago
- Fork of official GHC repository.☆44Updated last year
- Idris LLVM codegen factored out☆78Updated 7 years ago
- The LVish Haskell library☆80Updated 2 years ago
- Hopefully verifiable code generation in GHC☆94Updated 7 years ago
- Automatically exported from code.google.com/p/trellys☆46Updated 5 years ago
- re-startable monad that recover the execution state from a log, and workflow patterns☆43Updated 8 years ago
- Library and macros to simplify writing Haskell FFI code☆39Updated 2 years ago
- A talk on type-generic FFT in Haskell☆46Updated 3 years ago
- Serializable closures for distributed programming.☆64Updated last year
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 2 weeks ago
- A DSL for describing and implementing communication protocols☆83Updated 10 years ago
- ☆58Updated 8 months ago
- The Haskell File System: A file system implementation in Haskell☆38Updated 9 years ago
- Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq☆36Updated 4 years ago
- Dynamic linking and runtime evaluation of Haskell, and C, including dependency chasing and package resolution.☆53Updated last year
- Inline, type safe X86-64 assembly programming in Agda☆68Updated 6 years ago
- 🖼️ the compiling to closed categories compiler☆66Updated 6 years ago
- Manipulating numbers with inherent measurement/experimental uncertainty.☆25Updated 6 months ago
- Map lazy functional language constructs to LLVM IR☆50Updated 5 years ago
- Drafts, notes and resources for adding linear typing to GHC.☆77Updated 4 years ago
- Model-view-controller☆63Updated 2 years ago
- Playing with https://github.com/ekmett/machines☆51Updated 7 years ago
- Vector & affine spaces, linear maps, and derivatives☆47Updated 7 months ago
- Generic random generators☆81Updated 2 years ago
- Quasiquoter for LLVM☆31Updated 6 years ago
- The goal of the Feldspar project is to define a high-level language that allows description of high-performance digital signal processing…☆45Updated 3 years ago