Alternatives and similar repositories for feldspar-language:

Users that are interested in feldspar-language are comparing it to the libraries listed below

• Feldspar / feldspar-compiler
  This is the compiler for the Feldspar Language.
  ☆22Updated 4 years ago
• swift-nav / plover
  Plover is a language for matrix algebra on embedded systems.
  ☆47Updated 3 years ago
• emilaxelsson / imperative-edsl
  Deep embedding of imperative programs with code generation
  ☆23Updated 2 years ago
• xgrommx / agda-ecosystem
  ☆29Updated 6 years ago
• goldfirere / effects
  A Haskell translation of Idris's original algebraic effects library
  ☆41Updated 8 years ago
• hargettp / courier
  A message-passing library, intended for simplifying network applications
  ☆43Updated 6 years ago
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆31Updated 10 years ago
• conal / circat
  A categorical framework for circuit construction
  ☆30Updated 8 years ago
• david-christiansen / derive-all-the-instances
  Work on type class deriving with elaboration reflection
  ☆32Updated 6 years ago
• pigworker / ProgrammerCommaCon
  being a collection of Agda-facilitated ramblings
  ☆33Updated 4 years ago
• gergoerdi / clash-spaceinvaders
  Intel 8080-based Space Invaders arcade machine implemented on an FPGA, written in CLaSH
  ☆48Updated 2 years ago
• jwiegley / z3cat
  Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations
  ☆38Updated 7 years ago
• emilaxelsson / ag-graph
  Attribute Grammars on Graphs
  ☆10Updated 8 years ago
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆33Updated 4 months ago
• obsidiansystems / dependent-map
  Dependently-typed finite maps (partial dependent products)
  ☆65Updated 7 months ago
• antalsz / choose-your-own-derivative
  Code for the submitted TyDe '16 extended abstract and C∘mp∘se '17 talk "`choose` Your Own Derivative"
  ☆19Updated 7 years ago
• Feldspar / raw-feldspar
  Resource-AWare Feldspar
  ☆37Updated 2 years ago
• sbp / idris-bi
  Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq
  ☆36Updated 4 years ago
• llvm-hs / llvm-hs-quote
  Quasiquoter for LLVM
  ☆31Updated 6 years ago
• conal / talk-2015-haskell-to-hardware
  From Haskell to Hardware via CCCs
  ☆58Updated 8 years ago
• goldfirere / ghc
  Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE
  ☆24Updated 6 years ago
• agocorona / Workflow
  re-startable monad that recover the execution state from a log, and workflow patterns
  ☆43Updated 8 years ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆44Updated 7 months ago
• nomeata / veggies
  Hopefully verifiable code generation in GHC
  ☆94Updated 7 years ago
• jozefg / miniprl
  A small implementation of a proof refinement logic.
  ☆50Updated 7 years ago
• adamwalker / clash-riscv
  A RiscV processor implementing the RV32I instruction set written in Clash
  ☆51Updated 6 years ago
• isovector / cccc
  🖼️ the compiling to closed categories compiler
  ☆66Updated 6 years ago
• waivio / cl3
  Haskell Library implementing standard functions for the Algebra of Physical Space Cl(3,0)
  ☆57Updated 2 years ago