☆15Nov 8, 2024Updated last year
Alternatives and similar repositories for grammafy
Users that are interested in grammafy are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Advanced Integrated Circuits 2025☆14Nov 1, 2025Updated 4 months ago
- Project template for wafer.space MPW runs using the gf180mcu PDK☆24Updated this week
- IHP Open source SG13G2 Tape Out on April 2025 [Testfield T586]☆13Sep 25, 2025Updated 6 months ago
- Bonbon Computer☆15May 23, 2023Updated 2 years ago
- Simulations for light-pulse atom interferometry☆13Updated this week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆15Feb 18, 2026Updated last month
- Submission template for Tiny Tapeout SKY130 (ChipFoundry) shuttles - Verilog HDL Projects☆35Mar 14, 2026Updated 2 weeks ago
- An Open-Source ASIC Design Template for the SG13G2 IHP Open-PDK.☆17Feb 20, 2026Updated last month
- Formalization of Statement of Local Langlands Correspondence for Tori☆12Dec 18, 2018Updated 7 years ago
- Processing gravity measurements with Python☆12Mar 18, 2024Updated 2 years ago
- A demo site for the jekyll-theme-console theme.☆11Jul 6, 2024Updated last year
- Parasitic capacitance analysis of foundry metal stackups☆17Jan 12, 2026Updated 2 months ago
- Wide Bandwidth low noise amplifier 20Hz-20MHz 20/40dB☆11Oct 16, 2019Updated 6 years ago
- Lean formalizations of IMO problem statements☆32Oct 23, 2025Updated 5 months ago
- 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.
- Submission template for Tiny Tapeout IHP shuttles - Verilog HDL Projects☆31Mar 14, 2026Updated 2 weeks ago
- Unofficial Poster Template for UChicago Computer Science☆14Sep 8, 2022Updated 3 years ago
- Schematic, PCB and source code for a high-precision digital temperature controller☆13Jul 21, 2021Updated 4 years ago
- CNN_gravity inversion☆12Jul 5, 2020Updated 5 years ago
- A handy tool to visualize Gaussian beam propagation through lenses☆10Dec 21, 2025Updated 3 months ago
- Laser beam profiling with a Raspberry Pi☆20Oct 29, 2021Updated 4 years ago
- An Open-Source Toolchain for Top-Metal IC Art and Ultra-High-Fidelity GDSII Renders☆23Jan 6, 2026Updated 2 months ago
- Web published translation of Grothendieck's essay on kimchi☆17Feb 10, 2024Updated 2 years ago
- Synthesizable temperature sensor for Tiny Tapeout 03, developed by IIC@JKU.☆22Jan 1, 2024Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- python module and webserver to work with High Finesse Angstrom WS7 wavemeter☆14Dec 19, 2021Updated 4 years ago
- COCOA: Collaborative Compendium on Analog Integrated Circuits☆26Jan 14, 2026Updated 2 months ago
- This is a open source hardware (and software) RF Signal Generator using readily available off the shelf-components.☆13Nov 25, 2019Updated 6 years ago
- Advanced Integrated Circuits 2024☆24Nov 16, 2024Updated last year
- CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning☆37Dec 18, 2025Updated 3 months ago
- Automated laser beam profiler using Raspberry Pi☆23Jan 18, 2024Updated 2 years ago
- Exporting a 3d surface to a STL format file in python☆14May 2, 2020Updated 5 years ago
- SFP fibre-optical transciever simple breakout board. Works up to at least 1 Gbit/s.☆26Oct 20, 2025Updated 5 months ago
- RFIC EM simulation: Create AWS Palace model from GDSII layout files☆44Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".☆19Jul 4, 2021Updated 4 years ago
- Beam42 is a Geometrical Optic Ray Tracer☆30Updated this week
- Collection of Inkscape svg files for drawing schematics and RF/microwave block diagrams☆22Jan 28, 2015Updated 11 years ago
- A repository of simple examples of ARTIQ code☆19Mar 25, 2020Updated 6 years ago
- An innovative Verilog-A compiler - reloaded☆41Feb 26, 2026Updated last month
- Parasitic Extraction for KLayout☆39Mar 2, 2026Updated 3 weeks ago
- Photodiode transimpedance amplifier, on a one inch diameter circular PCB☆23Nov 29, 2025Updated 4 months ago