dimitriv / Ziria
A domain-specific-language and compiler for low-level bitstream processing.
☆92Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for Ziria
- 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
- Software defined radio library in Haskell☆92Updated last year
- Kansas Lava☆47Updated 5 years ago
- Kami based processor implementations and specifications☆22Updated 4 years ago
- An umbrella repository including all of the dependencies to build the smaccmpilot project☆72Updated 7 years ago
- Plover is a language for matrix algebra on embedded systems.☆47Updated 3 years ago
- Initial tinkering with a BPF metalanguage and implementation formally verified in Coq.☆10Updated 9 years ago
- An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checkin…☆56Updated 13 years ago
- ☆38Updated 8 years ago
- A Coq formalization of information theory and linear error-correcting codes☆64Updated last week
- HardCaml example designs☆18Updated 6 years ago
- Robots powered by Constructive Reals☆34Updated 7 years ago
- Formal topology (and some probability) in Coq☆32Updated 5 years ago
- A DSL for describing and implementing communication protocols☆83Updated 9 years ago
- [toy] A rewriting language similar to the core of Mathematica☆54Updated 2 years ago
- [Deprecated see github.com/janestreet/hardcaml] Register Transfer Level Hardware Design in OCaml☆119Updated 3 years ago
- A collection of reusable Clash designs/examples☆49Updated 9 months ago
- A Platform for High-Level Parametric Hardware Specification and its Modular Verification☆142Updated last month
- A type theory based theorem proving library☆25Updated 13 years ago
- IPython-style interaction for Cryptol☆15Updated 7 years ago
- An executable specification of the RISCV ISA in L3.☆41Updated 5 years ago
- Galois RISC-V ISA Formal Tools☆56Updated 10 months ago
- The rewrite of TLAPM, the TLAPS proof manager☆0Updated 5 years ago
- A tutorial on how to write OCaml tactics for the Coq proof assistant☆23Updated 8 years ago
- Rigel is a language for describing image processing hardware embedded in Lua. Rigel can compile to Verilog hardware designs for Xilinx FP…☆56Updated 4 years ago
- Topology library for Coq☆11Updated 8 years ago
- MATLAB implementations for SDR for Engineers textbook☆57Updated 6 years ago
- A (Haskell DSL) stream language for generating hard real-time C code.☆149Updated 5 years ago
- The Mechanization of Standard ML☆72Updated 2 years ago
- The haskell network stack☆115Updated 6 years ago