tanishiking / hsccView external linksLinks
Small C Compiler written in Haskell
☆15Mar 12, 2018Updated 7 years ago
Alternatives and similar repositories for hscc
Users that are interested in hscc are comparing it to the libraries listed below
Sorting:
- A VHDL code generator for wallace tree multiplier☆10Apr 15, 2020Updated 5 years ago
- MathLib DAC 2023 version☆13Sep 11, 2023Updated 2 years ago
- Emeris web app☆11Jul 10, 2024Updated last year
- Visual Studio Code Tasks and Contexts extension☆11Apr 12, 2024Updated last year
- ☆14Oct 2, 2023Updated 2 years ago
- CodeFeedr core infrastructure☆10Nov 10, 2020Updated 5 years ago
- DDRFW-UTIL tool repository☆14Nov 18, 2025Updated 2 months ago
- Density test bench for RISCV - "Compress extension"☆15Jun 21, 2021Updated 4 years ago
- newtype and refinement (refined) type for Scala 3☆14Updated this week
- Benchmarks of all public available SNARK/STARK keccak circuits☆13Oct 1, 2023Updated 2 years ago
- A light-weight hardware oriented synchronous stream cipher.☆12Mar 19, 2022Updated 3 years ago
- Locates JAVA_HOME on any platform, and can differentiate between different versions.☆12Dec 4, 2023Updated 2 years ago
- Description of a RISC-V architecture based on MIPS 3000☆13Apr 24, 2023Updated 2 years ago
- A tool to run litmus tests on bare-metal hardware☆13Mar 13, 2017Updated 8 years ago
- ☆14Mar 26, 2025Updated 10 months ago
- Web archiving utility library☆11Dec 3, 2025Updated 2 months ago
- All Digital Phase-Locked Loop☆12May 22, 2023Updated 2 years ago
- ☆12Mar 11, 2024Updated last year
- sCrypt library - Zero-Knowledge Proofs - curve BLS12-381 步行者☆13Mar 14, 2025Updated 10 months ago
- Nakasendo SDK installed on a CentOS container - Only supports c++ for now☆11Nov 4, 2019Updated 6 years ago
- Table-driven (by-example) HSpec tests☆10Jan 29, 2021Updated 5 years ago
- GSI Timing Gateware and Tools☆14Feb 6, 2026Updated last week
- ☆10Sep 25, 2019Updated 6 years ago
- Code from Chris Valasek @nudehaberdasher and Charlie Miller @0xcharlie car hack: http://blog.ioactive.com/2013/08/car-hacking-content.ht…☆14Oct 1, 2020Updated 5 years ago
- Wavious Wlink☆12Oct 28, 2021Updated 4 years ago
- Type-level lambda calculus in Scala 3☆13Oct 11, 2022Updated 3 years ago
- cpufuzz is a dumb, simple and portable CPU fuzzer☆11Jan 27, 2019Updated 7 years ago
- sbt plugin for TeaVM. Generate JavaScript and WebAssembly from Java bytecode☆11Updated this week
- sbt plugin to upload SCIP indexes to Sourcegraph for precise code intelligence☆15Updated this week
- Ethereum block hallucinator☆16Oct 1, 2025Updated 4 months ago
- RISCV lock-step checker based on Spike☆14Jan 23, 2026Updated 3 weeks ago
- ☆12May 29, 2020Updated 5 years ago
- MT29F128G based NAND flash controller☆10Jun 17, 2021Updated 4 years ago
- This is example code for a Rabin-Williams public-key signature scheme designed to provide high speed verification and small signatures.☆16Oct 9, 2008Updated 17 years ago
- Web interface for viewing ACH files in a variety of sources (filesystem, GCS buckets, etc)☆14Updated this week
- gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apac…☆15Sep 11, 2024Updated last year
- Technology file parser in Rust☆13Apr 6, 2021Updated 4 years ago
- ETH Computer Architecture - Fall 2020☆12Feb 26, 2021Updated 4 years ago
- ☆11Apr 2, 2024Updated last year