Scala staging framework
☆18Jul 13, 2018Updated 7 years ago
Alternatives and similar repositories for argon
Users that are interested in argon are comparing it to the libraries listed below
Sorting:
- Zero-cost Abstractions in Scala☆10Nov 7, 2017Updated 8 years ago
- ☆30Oct 16, 2022Updated 3 years ago
- ☆57Feb 19, 2017Updated 9 years ago
- Create auto-scheduled data-parallel pipelines in hardware with user-friendly Python☆13Mar 29, 2021Updated 4 years ago
- Interfaces for interacting with the shell from Scala☆14Feb 11, 2025Updated last year
- Access Scala language features on the type-level☆31Aug 19, 2024Updated last year
- Quickstart for Spatial language☆35Oct 1, 2020Updated 5 years ago
- WebAssembly model in Redex☆16May 16, 2019Updated 6 years ago
- an exploration of subtyping-based category theory in scala☆25Dec 22, 2010Updated 15 years ago
- Implementation of Lightweight Modular Staging (LMS) in Python☆48Apr 2, 2019Updated 6 years ago
- ScalaJS CSS library☆24Oct 25, 2018Updated 7 years ago
- IC3PO: IC3 for Proving Protocol Properties☆28Sep 10, 2024Updated last year
- Lightweight affine types and object capabilities in Scala☆32Feb 12, 2019Updated 7 years ago
- Spatial: "Specify Parameterized Accelerators Through Inordinately Abstract Language"☆101Nov 14, 2018Updated 7 years ago
- Elysium - any place or state of perfect happiness; paradise.☆21Dec 27, 2017Updated 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…☆57Sep 15, 2020Updated 5 years ago
- Interchangeable AoS and SoA containers☆25Aug 12, 2022Updated 3 years ago
- Working with XML in Scala☆23Feb 11, 2025Updated last year
- ☆38Jun 1, 2021Updated 4 years ago
- Top level CedarEDA integration package☆28Oct 22, 2024Updated last year
- Provides Spatial with front-end support from popular machine learning frameworks☆34Sep 30, 2019Updated 6 years ago
- We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2☆26Jun 30, 2016Updated 9 years ago
- ☆29Nov 4, 2015Updated 10 years ago
- Invertible syntax and partial isomorphisms for Scala☆31Nov 28, 2017Updated 8 years ago
- tool for postgres to automatically build rest services and web forms☆13Updated this week
- gestalt : portable and solid macros for Scala☆31Jan 9, 2018Updated 8 years ago
- Floating point modules for CHISEL☆32Nov 2, 2014Updated 11 years ago
- being some experiments, working towards some equipment I wish I had☆37Feb 3, 2016Updated 10 years ago
- Scala implementation of Networking and Cryptography (NaCl) library☆31Jun 23, 2015Updated 10 years ago
- a typeclass based JSON codec that's backend independent☆36Feb 20, 2026Updated 2 weeks ago
- ☆39Oct 21, 2016Updated 9 years ago
- Paper: inexact GMRES with fast multipole method and low-p relaxation☆11Aug 23, 2023Updated 2 years ago
- Codebase to simulate production code with NS3 using Docker Containers☆10Oct 10, 2019Updated 6 years ago
- ☆10Nov 23, 2024Updated last year
- Sample Python code that demonstrates how to use the Python client to work with Riak TS (Time Series)☆11Aug 30, 2016Updated 9 years ago
- A thin scala wrapper for Java NIO.2, built on cats-effect 🐱☆12Jun 19, 2023Updated 2 years ago
- An AMD am2901 4-bit ALU slice☆10Feb 14, 2023Updated 3 years ago
- [FCCM 2023] PASTA: Programming and Automation Support for Scalable Task-Parallel HLS Programs on Modern Multi-Die FPGAs☆14Jun 26, 2025Updated 8 months ago
- Collapsing Towers of Interpreters☆93Jun 21, 2025Updated 8 months ago