4ZM / elf-shenanigansView external linksLinks
Linker experiments
☆23Jan 2, 2025Updated last year
Alternatives and similar repositories for elf-shenanigans
Users that are interested in elf-shenanigans are comparing it to the libraries listed below
Sorting:
- Descrição diário da toda minha trajetória de estudos☆15Jan 30, 2025Updated last year
- ☆19Dec 21, 2024Updated last year
- Some programs from Rustan Leino's "Program Proofs", in Why3.☆16Mar 13, 2023Updated 2 years ago
- Formal Semantics for Why3☆19Sep 28, 2025Updated 4 months ago
- Refreshing automation for inductive equational proofs using e-graphs☆24Jul 7, 2024Updated last year
- A different approach to an E-graph library☆28May 30, 2025Updated 8 months ago
- Chatbot de WhatsApp para fluxo de conversa☆12Dec 29, 2024Updated last year
- Resources, notes, and projects from Google's 5-Day Generative AI Intensive Course☆12Nov 29, 2024Updated last year
- Automatically generate a compiler using equality saturation☆34Apr 3, 2024Updated last year
- Lightweight CLI note tracker in Golang with SQLite. A changelog for your mind all within the terminal!☆11Jan 16, 2025Updated last year
- Cẩm nang Lập trình Thi đấu☆14Jan 22, 2026Updated 3 weeks ago
- A hands-on repository for learning GitHub basics! Dive into beginner-friendly exercises that guide you through creating repositories, mak…☆15Dec 3, 2024Updated last year
- ☆11Nov 23, 2024Updated last year
- Doug Lenat's EURISKO from SAIL archives circa 1981☆69Jul 6, 2024Updated last year
- ☆11Dec 16, 2025Updated last month
- k8s ConfigMaps and Secrets Usage.☆11Jan 24, 2025Updated last year
- Python module to access the Fermilab Control System☆10Aug 19, 2025Updated 5 months ago
- Android VPN app based on v2ray, v2rayNG, leaf and noisy-shuttle☆11Apr 1, 2025Updated 10 months ago
- A custom ImGui theme inspired by the Dark Biron style. Thanks: Ttrieu shared☆13Nov 25, 2024Updated last year
- A collection of style checkers for XMIR: they don't predict runtime errors, but prevent compilation mistakes☆10Feb 5, 2026Updated last week
- Python Package to Share/Edit Pandas/Polars DF with web interface!☆11Jun 10, 2025Updated 8 months ago
- ELF for HL SDK replacement in Half-Life PS2 (WIP)☆11Dec 14, 2024Updated last year
- ☆16Feb 2, 2026Updated last week
- Companion Coq development for Xavier Leroy's 2021 lectures on program logics☆41Apr 14, 2021Updated 4 years ago
- Free JS Playground☆11May 11, 2025Updated 9 months ago
- Files and instructions for fixing Quixel Bridge connection with 3ds Max.☆12Sep 7, 2025Updated 5 months ago
- ☆13Dec 5, 2024Updated last year
- Magical Invisibility Cloak and Beyond 🧙✨☆13Dec 28, 2024Updated last year
- An Offline and Secure Retrieval-Augmented Generation (RAG) system designed for efficient processing of diverse content types with minimal…☆19Dec 29, 2024Updated last year
- ☆10Apr 28, 2025Updated 9 months ago
- A sample application showcasing ffmpeg usage in a browser with files over 4GB using WORKERSFS☆14Feb 14, 2025Updated 11 months ago
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated last year
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- Take care my gothaj <3 SALAM☆10Jan 16, 2026Updated 3 weeks ago
- ☆20Nov 20, 2024Updated last year
- ☆16Updated this week
- ☆10Jan 16, 2025Updated last year
- ☆11Oct 27, 2025Updated 3 months ago
- 十五的前端博客,沉淀思考、记 录文字,欢迎 star☆14Feb 3, 2026Updated last week