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☆20Sep 28, 2025Updated 5 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 9 months ago
- Lightweight CLI note tracker in Golang with SQLite. A changelog for your mind all within the terminal!☆11Jan 16, 2025Updated last year
- 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
- Cẩm nang Lập trình Thi đấu☆14Feb 28, 2026Updated last week
- ☆11Nov 23, 2024Updated last year
- 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
- Android VPN app based on v2ray, v2rayNG, leaf and noisy-shuttle☆11Apr 1, 2025Updated 11 months ago
- A custom ImGui theme inspired by the Dark Biron style. Thanks: Ttrieu shared☆13Nov 25, 2024Updated last year
- ELF for HL SDK replacement in Half-Life PS2 (WIP)☆11Dec 14, 2024Updated last year
- Python Package to Share/Edit Pandas/Polars DF with web interface!☆11Jun 10, 2025Updated 8 months ago
- A collection of style checkers for XMIR: they don't predict runtime errors, but prevent compilation mistakes☆10Feb 25, 2026Updated last week
- ☆16Feb 2, 2026Updated last month
- Companion Coq development for Xavier Leroy's 2021 lectures on program logics☆42Apr 14, 2021Updated 4 years ago
- An Offline and Secure Retrieval-Augmented Generation (RAG) system designed for efficient processing of diverse content types with minimal…☆20Dec 29, 2024Updated last year
- ☆11Oct 27, 2025Updated 4 months ago
- AI coder powered by open source LLMs☆11Nov 28, 2024Updated last year
- ☆13Dec 5, 2024Updated last year
- ☆20Nov 20, 2024Updated last year
- ☆11Jan 7, 2025Updated last year
- Files and instructions for fixing Quixel Bridge connection with 3ds Max.☆12Sep 7, 2025Updated 5 months ago
- HidakiNuke - это утилита для быстрого краша дискорд серверов. Она позволяет создавать в больших количествах каналы, роли и события, а так…☆10Apr 4, 2025Updated 11 months ago
- ECE 4551: Computer Architecture☆11Nov 25, 2019Updated 6 years ago
- Pythonic AMQP library for asyncio☆11Sep 12, 2018Updated 7 years ago
- ☆19Feb 20, 2025Updated last year
- ☆10Jan 16, 2025Updated last year
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- Twisted Convolutional Networks (TCNs)☆10Dec 9, 2025Updated 2 months ago
- Take care my gothaj <3 SALAM☆10Jan 16, 2026Updated last month
- Free JS Playground☆11May 11, 2025Updated 9 months ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- ☆11Dec 16, 2025Updated 2 months ago
- Simple repo to finetune an LLM hosted on Hugging Face by creating a LORA☆11Dec 20, 2023Updated 2 years ago