a compiler for the Apollo project that targets the HCDCv2 Analog Device
☆29Aug 13, 2021Updated 5 years ago
Alternatives and similar repositories for legno-compiler
Users that are interested in legno-compiler are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- MathLib is a versatile C++ library that provides a wide range of mathematical algorithms and functions, including but not limited to tran…☆10Jun 6, 2023Updated 3 years ago
- just a place to throw some coding experiements while i re-re-re-learn rust☆15Jul 31, 2022Updated 4 years ago
- This is not the Git repo you're looking for...☆25Jul 23, 2019Updated 7 years ago
- scraps and bits and bobs☆14Jul 28, 2022Updated 4 years ago
- ☆16Apr 20, 2012Updated 14 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A port of Bryan O'Sullivan's attoparsec from Haskell to Scala☆15Dec 21, 2010Updated 15 years ago
- MPFR bindings for Haskell☆35Apr 17, 2026Updated 4 months ago
- The Chronos FPGA Framework to accelerate ordered applications☆22May 20, 2020Updated 6 years ago
- Because Kmett is not expressive enough. You need CoKmett!☆35Oct 29, 2013Updated 12 years ago
- Apollo: Online Machine Learning for Performance Portability☆26Aug 27, 2024Updated last year
- A fast globally unique variable supply with a pure API☆21Jun 26, 2023Updated 3 years ago
- Formalizing linear algebra in Agda by representing matrices as functions☆28Dec 23, 2023Updated 2 years ago
- a tracing jit for c++ based on tracing and compiling from x86-64 assembly to x86-64 assembly☆20Jun 26, 2010Updated 16 years ago
- Very late bitcode and data binder☆19Feb 5, 2022Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- category-theoretic goodness for Haskell☆18Jun 23, 2010Updated 16 years ago
- Interval Arithmetic☆27Jan 23, 2025Updated last year
- Katamaran is a semi-automated separation logic verifier for the Sail specification language. It works on an embedded version of Sail call…☆20Aug 4, 2026Updated 2 weeks ago
- Lambda 作品集☆10Feb 28, 2023Updated 3 years ago
- Source code for "BenchPress: A Deep Active Benchmark Generator", PACT 2022☆22Mar 15, 2023Updated 3 years ago
- Improves the known complexity of online lowest common ancestor search to O(log h) persistently, and without preprocessing☆28Jan 21, 2025Updated last year
- My Very Own Deep Multiple Layered Echo State Network☆13Jan 2, 2021Updated 5 years ago
- an exploration of subtyping-based category theory in scala☆25Dec 22, 2010Updated 15 years ago
- ☆38Apr 14, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Matlab code associated with the publication "Load Modulation for Backscatter Communication: Channel Capacity and Capacity-Approaching Fin…☆14Nov 15, 2022Updated 3 years ago
- Safe, programmable, speculative evaluation for Haskell☆29Oct 22, 2018Updated 7 years ago
- As defined in Lubotzky, Philips and Sarnak☆10Oct 25, 2022Updated 3 years ago
- Neural Network Matrix Inversion☆16Jul 4, 2026Updated last month
- SPINS-B integration with Meep solver☆11Jun 3, 2020Updated 6 years ago
- FDFD solver for Helmholtz equation in 2D written in julia☆16Jul 23, 2020Updated 6 years ago
- GB-InSAR 2D/3D Geocoding, Visualization and Feature Extraction☆14May 19, 2023Updated 3 years ago
- Knuth-Liang Hyphenation for Haskell based on TeX hyphenation files☆35Jan 19, 2026Updated 6 months ago
- An interpreter for the language described in "The Two Dualities of Computation: Negative and Fractional Types"☆23Jul 5, 2012Updated 14 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- phantom types☆41Apr 8, 2026Updated 4 months ago
- 64QAM Wireless communication on ADALM-PLUTO (a SDR active learning module), written in MATLAB, based on some APIs and existing functions.☆18Jul 4, 2023Updated 3 years ago
- ODYSSEUS/EduCOSMOS☆10Aug 12, 2020Updated 6 years ago
- ☆12Feb 11, 2019Updated 7 years ago
- A simple way to query constructors, like cases but slightly more concise☆11Mar 7, 2018Updated 8 years ago
- categories from category-extras☆34Oct 9, 2019Updated 6 years ago
- Simple and fast quantum error correction architecture simulator for the rotated surface code☆14Aug 8, 2021Updated 5 years ago