adamwalker / sdr

Related projects ⓘ

Alternatives and complementary repositories for sdr

• tomahawkins / atom
  A DSL for embedded hard realtime applications.
  ☆271Updated 7 years ago
• mryndzionek / composable-sdr
  SDR DSP utilities embedded in Haskell
  ☆36Updated 3 weeks ago
• dimitriv / Ziria
  A domain-specific-language and compiler for low-level bitstream processing.
  ☆92Updated 7 years ago
• leepike / Copilot
  A (Haskell DSL) stream language for generating hard real-time C code.
  ☆149Updated 5 years ago
• conal / lambda-ccc
  Convert lambda expressions to CCC combinators
  ☆146Updated 8 years ago
• haskell / c2hs
  c2hs is a pre-processor for Haskell FFI bindings to C libraries
  ☆199Updated 8 months ago
• puffnfresh / iridium
  xmonad with the X11 abstracted and configured with Idris
  ☆206Updated 5 years ago
• GaloisInc / ivory
  The Ivory EDSL
  ☆396Updated 4 years ago
• timjb / quantities
  Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
  ☆158Updated 5 years ago
• commercialhaskell / describe
  Describe Haskell code in GHCi
  ☆72Updated 7 years ago
• urv / fixhs
  FIX (co)parser in haskell
  ☆51Updated 11 years ago
• alphaHeavy / protobuf
  An implementation of Google's Protocol Buffers in Haskell.
  ☆95Updated 2 years ago
• ChrisPenner / lens-regex-pcre
  Text lenses using PCRE regexes
  ☆126Updated 4 years ago
• fpco / ghc-prof-flamegraph
  ☆77Updated 2 years ago
• well-typed / cborg
  Binary serialisation in the CBOR format
  ☆191Updated 3 months ago
• np / ling
  LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming
  ☆107Updated last year
• hadronized / luminance
  Type-safe, type-level and stateless Haskell graphics framework
  ☆109Updated 7 years ago
• atzeus / FRPNow
  ☆89Updated 4 years ago
• conal / talk-2015-haskell-to-hardware
  From Haskell to Hardware via CCCs
  ☆58Updated 8 years ago
• jyrimatti / hseverywhere
  Haskell Everywhere!
  ☆57Updated 5 years ago
• freizl / hoauth2
  Haskell oauth2 binding
  ☆133Updated this week
• quchen / stackage-everything
  »I want Stackage on an airplane and I have only 3 minutes until takeoff«
  ☆83Updated 6 years ago
• Feldspar / raw-feldspar
  Resource-AWare Feldspar
  ☆36Updated 2 years ago
• BekaValentine / SimpleFP-v2
  A re-do of the SimpleFP repo using de Bruijn index ABTs instead of HOAS
  ☆109Updated 7 years ago
• haskell / ThreadScope
  A graphical tool for profiling parallel Haskell programs
  ☆153Updated 2 weeks ago
• clash-lang / clash-prelude
  CLaSH prelude library containing datatypes and functions for circuit design
  ☆31Updated 6 years ago
• tomahawkins / improve
  An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checkin…
  ☆56Updated 13 years ago
• ocharles / netwire-classics
  Classic games recreated in netwire
  ☆94Updated 7 years ago
• vaibhavsagar / duffer
  A git-compatible content tracker in Haskell.
  ☆66Updated 4 years ago
• jfeltz / dash-haskell
  dash docset builder for Haskell packages and cabal project dependencies
  ☆79Updated 4 years ago