a metaprogramming language that compiles from types
☆10Jun 26, 2024Updated last year
Alternatives and similar repositories for autofunction
Users that are interested in autofunction are comparing it to the libraries listed below
Sorting:
- ☆17Sep 8, 2025Updated 5 months ago
- ☆16Jun 13, 2021Updated 4 years ago
- Firmware for snapshot GNSS receiver☆23Oct 10, 2025Updated 4 months ago
- VS Code Web Extension demonstrating WebUSB access☆19Jun 30, 2022Updated 3 years ago
- HDL development environment on Nix.☆26Oct 23, 2024Updated last year
- Formalising the WASM spec in Lean☆28Nov 14, 2025Updated 3 months ago
- U2F-Emulated☆26Sep 28, 2023Updated 2 years ago
- A lightweight PDF viewer component for Svelte using PDF.js.☆21Nov 20, 2024Updated last year
- A minimal cross browser URL parser library☆10Apr 26, 2020Updated 5 years ago
- String interpolation with correct return type based on passed variable substitutions☆10Oct 6, 2025Updated 4 months ago
- Tool for loading and testing native shaders translated from crosstl☆13Dec 15, 2024Updated last year
- Find reference points and lines in crease patterns.☆15Nov 19, 2025Updated 3 months ago
- ☆12Updated this week
- The Hypnospiral Visualizer source code.☆17Sep 9, 2025Updated 5 months ago
- A Rust library to represent numbers as large as 10^^1e308 and as small as 10^-10^^1e308. Designed for incremental games.☆12May 20, 2024Updated last year
- pronounced like "auto zone", a place for figuring out algorithms☆11Oct 23, 2023Updated 2 years ago
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated last year
- Front-end for Nplan☆12Updated this week
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- Tools for accessing iCloud's Key Value store service.☆10Aug 1, 2016Updated 9 years ago
- ☆10Jan 16, 2025Updated last year
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- A Binary Ninja plugin providing a set of BinaryViews for loading Motorola SREC, Intel HEX, and TI-TXT "hex" files☆10Sep 5, 2024Updated last year
- A bot that says butts, for Twitch chat☆10Mar 7, 2016Updated 9 years ago
- A map of Durham Neighborhoods made with GeoJSON☆12Jul 6, 2024Updated last year
- Control Logic Synthesis: Drawing the Rest of the OWL☆13Jun 17, 2024Updated last year
- Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generators☆13Aug 31, 2020Updated 5 years ago
- Content for Linkerd workshops☆13Oct 30, 2024Updated last year
- Reduced Embeddable More Or Less Tcl☆11Feb 6, 2025Updated last year
- Wasm Analysis Framework For Lightweight Experiments☆56Updated this week
- Libraries for declaring and using type-level values.☆11Mar 28, 2019Updated 6 years ago
- Replace emojis in text with SVG images☆26Oct 27, 2025Updated 4 months ago
- html template library that supports streaming for javascript runtimes☆15May 4, 2025Updated 9 months ago
- Cone program refinement☆10Mar 6, 2020Updated 5 years ago
- DIY rudder pedals for flightsim☆13Mar 10, 2021Updated 4 years ago
- Universal instruction selection☆12Jun 8, 2018Updated 7 years ago
- The last-write-wins register CRDT☆17Nov 10, 2024Updated last year
- CodeQL and Binary Ninja scripts to accompany the blog post☆11Feb 3, 2023Updated 3 years ago
- super simple shortestpaths☆19Jun 2, 2017Updated 8 years ago