acse compiler - formal languages and compilers polimi
☆13Dec 29, 2017Updated 8 years ago
Alternatives and similar repositories for acse
Users that are interested in acse are comparing it to the libraries listed below
Sorting:
- Sample implementation accompanying the NeurIPS 2019 paper 'Powerset Convolutional Neural Networks' by Chris Wendler, Dan Alistarh, and Ma…☆10Oct 26, 2020Updated 5 years ago
- ☆12Jan 4, 2023Updated 3 years ago
- Deep learning with Caffe on phones, with OpenCL support for CPU and GPU devices.☆10Mar 11, 2016Updated 9 years ago
- The ASF+SDF Meta-Environment is an inter-active IDE for language prototyping, source code analysis and source-to-source transformation. I…☆16Nov 15, 2012Updated 13 years ago
- Visual graph rewriting platform☆10Jun 3, 2025Updated 9 months ago
- Lecture Notes for the MIDA course of the MSc in Mathematical Engineering @ Polimi (A.Y. 2021-2022).☆11Mar 29, 2024Updated last year
- the actual epiphany backend☆20May 18, 2013Updated 12 years ago
- Build languages on Python.☆12May 2, 2021Updated 4 years ago
- ☆10Nov 27, 2023Updated 2 years ago
- The ZOT Bounded Model/Satisfiability Checker (previously hosted as zot.googlecode.com)☆10Jan 11, 2021Updated 5 years ago
- A Python 3 compatible fork of https://launchpad.net/pymeta☆18Jan 9, 2019Updated 7 years ago
- Solver in the low-rank tensor train format with cross approximation approach for the multidimensional Fokker-Planck equation☆14Oct 24, 2023Updated 2 years ago
- High-Performance Reproducible BLAS using posit arithmetic☆12Mar 16, 2022Updated 3 years ago
- Official Jenkins image with Docker socket☆10Nov 13, 2019Updated 6 years ago
- ☆10Jun 8, 2022Updated 3 years ago
- Jenkins job definitions for OSSCI☆10Jan 5, 2022Updated 4 years ago
- muSYCL, the SYCL musical!☆13Aug 25, 2024Updated last year
- ☆10Oct 8, 2018Updated 7 years ago
- Code to implement the experiments in "Post-training Quantization for Neural Networks with Provable Guarantees" by Jinjie Zhang, Yixuan Zh…☆11Jun 2, 2023Updated 2 years ago
- Common contracts for foundry projects.☆10Jan 12, 2025Updated last year
- Graphs and grammars for Context-Free Path Querying algorithms evaluation.☆10Sep 11, 2024Updated last year
- Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations☆17Dec 9, 2025Updated 2 months ago
- ☆15Nov 5, 2022Updated 3 years ago
- ☆10Aug 4, 2022Updated 3 years ago
- Implementation of DeepMind's "Sobolev Training for Neural Networks"☆11Apr 2, 2018Updated 7 years ago
- Linux kernel source tree☆12Jan 13, 2026Updated last month
- Low Precision Arithmetic Simulation in PyTorch - extension for posit and beyond☆16Dec 9, 2025Updated 2 months ago
- Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated hourly.☆13Jun 14, 2014Updated 11 years ago
- A quick-and-dirty PaaS implementation using SQL Server and RavenDB in Linux containers on Kubernetes☆14Apr 17, 2018Updated 7 years ago
- [alpha] Expose Julia functions to PyTorch☆15Aug 9, 2019Updated 6 years ago
- PYNQ DMA benchmark project☆12Apr 27, 2017Updated 8 years ago
- Sparse Boolean linear algebra for Nvidia Cuda, OpenCL and CPU computations☆16Aug 19, 2022Updated 3 years ago
- Universal Python binding for the LMDB 'Lightning' Database☆13Nov 7, 2017Updated 8 years ago
- Half-precision floating point for NumPy☆13Nov 10, 2010Updated 15 years ago
- OpenEmbedded/Yocto layer for topic products. Contains BSP for Miami boards and Florida carriers.☆16Feb 11, 2026Updated 2 weeks ago
- ☆12May 25, 2021Updated 4 years ago
- A Python module for generating fast bilinear algorithms for different convolution algorithms☆16Feb 29, 2024Updated 2 years ago
- Keras implementation of the article "Solving internal covariate shift in deep learning with linked neurons"☆13Dec 8, 2017Updated 8 years ago
- Frobenius Additive Fourier Transform☆13Jan 22, 2025Updated last year