☆11Jun 4, 2026Updated 4 months ago
Alternatives and similar repositories for egglog-tutorial
Users that are interested in egglog-tutorial are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Unstable egglog standard library.☆16Oct 17, 2026Updated last week
- A Scala equality saturation library☆21Sep 11, 2026Updated last month
- A proof of the consistency of ZF in axiom-free Lean☆23Sep 19, 2026Updated last month
- AWS lambda S3 + rust-htslib: A serverless bioinformatics example☆14Jun 7, 2022Updated 4 years ago
- A tensor contraction optimizer and code generator based on Drudge☆12Oct 13, 2026Updated last week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Write Python modules in Lean! (WIP)☆16Oct 10, 2026Updated 2 weeks ago
- 🧠 A translator between answer set programs and first-order logic☆17Updated this week
- TypeDB Behaviour Test Specification☆16Oct 16, 2026Updated last week
- Coding every Saturday 5PM-8PM at Maker Space, HKUST (GZ)☆14Mar 1, 2024Updated 2 years ago
- A command-line PDF reader prioritizing fast searches.☆11Dec 5, 2025Updated 10 months ago
- A command-line DSL budget manager☆13Oct 25, 2022Updated 4 years ago
- sorear's Metamath system engine☆14May 5, 2016Updated 10 years ago
- Polynomial bases for spectral element methods.☆15Oct 1, 2026Updated 3 weeks ago
- A barcode generator for obsidian.☆10Jan 11, 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.
- Obfuscate an IP address for SSRF filter bypasses☆12Oct 18, 2024Updated 2 years ago
- TypeDB MCP server☆13Jul 17, 2026Updated 3 months ago
- JSON representation of first-order logic formulas☆13Aug 30, 2020Updated 6 years ago
- Connecting bv_decide to SMTLIB.☆19Updated this week
- Combinatorial phantom types for discrete mathematics☆16Dec 26, 2025Updated 9 months ago
- Code for the blog post 'Every layer is an associative memory'☆24Oct 15, 2026Updated last week
- NCTSSOS is a non-commutative polynomial optimization tool based on the moment-SOHS hierarchy.☆15Jun 26, 2026Updated 3 months ago
- Training camp at HKUST-GZ, about numeric methods in Physics☆18Jul 13, 2024Updated 2 years ago
- The OpenCitations RDF Resource Browser☆15Oct 29, 2025Updated 11 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Tropical Numbers☆17Nov 2, 2025Updated 11 months ago
- 🌳 Clingo grammar for tree-sitter☆16Sep 15, 2026Updated last month
- TaiWei Pin 3D Evaluation flow☆27Oct 18, 2026Updated last week
- Temporal Pathway Synthesizer☆17Jun 28, 2024Updated 2 years ago
- Reduction between computational hard problems.☆13Sep 14, 2026Updated last month
- VESPA: Very large-scale Evolutionary and Selective Pressure Analyses☆15Mar 18, 2022Updated 4 years ago
- Template repository for creating a UU styled Quarto presentation☆13Oct 6, 2026Updated 2 weeks ago
- ☆14Dec 31, 2024Updated last year
- First-order logic theorem prover supporting unification with approximate vector similarity☆14Mar 23, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Basic RDF Datatypes☆15Feb 23, 2026Updated 8 months ago
- demonstrating shunting yard algorithm and evaluation of arithmetic expressions☆15Jan 11, 2025Updated last year
- Modern typst template for study notes☆15Updated this week
- Safely running potentially non-terminating functions in Elm.☆10Apr 20, 2021Updated 5 years ago
- The website for the AdvancedResearch community☆22Oct 17, 2026Updated last week
- Development of EUF ranking system☆15May 4, 2025Updated last year
- Definitive representations of decision problems in Julia.☆14Oct 2, 2026Updated 3 weeks ago