high abstraction synthesis
☆14Apr 8, 2024Updated last year
Alternatives and similar repositories for fold
Users that are interested in fold are comparing it to the libraries listed below
Sorting:
- UAV GNSS navigation module with RTK capability.☆31Feb 15, 2026Updated 2 weeks ago
- HP45 standalone controller V4.02☆29Nov 27, 2024Updated last year
- Mini Stepper Motor with Android and Arduino☆18Aug 3, 2014Updated 11 years ago
- A formalization of (homotopy) limits in Homotopy Type Theory☆11Jan 11, 2015Updated 11 years ago
- ☆13May 28, 2024Updated last year
- Computational Tools for Heat Exchanger Network Synthesis☆11Feb 24, 2026Updated last week
- CES VHDL utility library, with packages, memories, FIFOs, Clock Domain Crossing and more useful VHDL modules☆11Jan 17, 2022Updated 4 years ago
- This repo contains the knitr code for the paper: Gillespie, C. S., et al, 2010. Analysing yeast time course microarray data using BioCond…☆13Jan 25, 2016Updated 10 years ago
- Repositório das notas de aula e material computacional para a disciplina de Modelagem Matemática do Instituto de Matemática da UFRJ.☆12Jul 27, 2022Updated 3 years ago
- Code for "Extraction of digital wavefront sets using applied harmonic analysis and deep neural networks"☆12Nov 25, 2021Updated 4 years ago
- A Julia package to manipulate very small IEEE 754 standard-compliant floating-point numbers.☆12Nov 18, 2025Updated 3 months ago
- Versioned dictionaries following the mutable-until-shared (Mutts) discipline☆11Jul 29, 2020Updated 5 years ago
- Automorphism groups for CSets - generalizing the nauty algorithm to a broad class of data structures☆14Oct 30, 2023Updated 2 years ago
- A Julia IO type that facilitates width-limited printing☆12Mar 21, 2023Updated 2 years ago
- Stable and generic C API for Julia☆11Jan 8, 2026Updated last month
- Interactive plotting of millions of data points☆11Mar 31, 2022Updated 3 years ago
- Some quines in the Go programming language☆15Mar 8, 2023Updated 2 years ago
- Data models for Power Systems investment models.☆14Updated this week
- Table-driven (by-example) HSpec tests☆10Jan 29, 2021Updated 5 years ago
- Work with Obsidian vaults in Julia.☆16Mar 8, 2025Updated 11 months ago
- Finite Element tools in Julia: Meshing of medical images☆11Apr 18, 2025Updated 10 months ago
- The OBC Software to be ran on-board the AcubeSAT nanosatellite☆15Nov 9, 2025Updated 3 months ago
- Regression Testing for Terminal UIs☆14Updated this week
- Run NASA's General Mission Analysis Tool (GMAT) from Julia☆10Sep 3, 2020Updated 5 years ago
- Open-source time-Temperature inversion of thermochronometric data☆11Jan 4, 2026Updated 2 months ago
- NEMS (NOAA Environmental Modeling System)☆12Sep 20, 2022Updated 3 years ago
- Network based loader and flasher for Pano G2 devices☆15Jul 8, 2023Updated 2 years ago
- ☆10Feb 3, 2016Updated 10 years ago
- my fork of libxml2☆11May 11, 2011Updated 14 years ago
- Solver for 1D nonlinear partial differential equations in Julia based on the collocation method of Skeel and Berzins and providing an API…☆15Aug 5, 2024Updated last year
- Command Line AI Assistant using HuggingFace Inference API☆15Mar 26, 2024Updated last year
- Adds a macro (`@api`) to help manage a consistent API between multiple packages☆10May 18, 2021Updated 4 years ago
- Functionality for modifying Julia package registry files☆12Feb 24, 2026Updated last week
- ☆10Nov 6, 2018Updated 7 years ago
- Hardware accelerated Julia set explorer running on Ultra96☆13Jul 15, 2024Updated last year
- Transfer entropy (conditional mutual information) estimators for the Julia language☆14Nov 6, 2022Updated 3 years ago
- Timers for Julia☆11Jan 13, 2023Updated 3 years ago
- Hardware Design/Visualization/Simulation/RTLGeneration Framework☆16Updated this week
- A Julia package for controlling NetLogo☆10Jul 28, 2018Updated 7 years ago