☆10Sep 26, 2024Updated last year
Alternatives and similar repositories for equational
Users that are interested in equational are comparing it to the libraries listed below
Sorting:
- ☆12Dec 25, 2023Updated 2 years ago
- cadCAD implementation in Julia☆17Dec 13, 2024Updated last year
- Bayesian inference on wiring diagrams.☆18Sep 28, 2023Updated 2 years ago
- ☆34Jul 14, 2023Updated 2 years ago
- ☆95Nov 12, 2023Updated 2 years ago
- A project to map out the relations between different equational theories of Magmas.☆479Feb 16, 2026Updated 2 weeks ago
- Package for parsing XBRL☆10Jul 3, 2022Updated 3 years ago
- Computational Tools for Heat Exchanger Network Synthesis☆11Updated this week
- Active Inference & Category Theory☆10Mar 11, 2024Updated last year
- ☆11Nov 10, 2025Updated 3 months ago
- Tools and models for estimating Filecoin energy use from on-chain proofs☆11Jun 14, 2024Updated last year
- The Master Object Model (MOM) is an xAPI profile that denotes how a student's learning can be tracked throught their entire "lifetime" wi…☆12Jul 3, 2025Updated 7 months ago
- Calculate allowed interactions in QED☆10Nov 2, 2022Updated 3 years ago
- Code used in the analyses described in "Personalized brain circuit scores identify clinically distinct biotypes in depression and anxiety…☆11May 4, 2024Updated last year
- A high-performance library for gradient based quantum optimal control☆12Jun 23, 2023Updated 2 years ago
- A Snowflake SQL parser (WIP)☆11May 31, 2020Updated 5 years ago
- FlawlessChips is a C# library that provides gate-level simulation of various 8-bit chips.☆10Jan 17, 2026Updated last month
- metamath proof enumerators and other things☆94Nov 16, 2025Updated 3 months ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Feb 15, 2025Updated last year
- Automorphism groups for CSets - generalizing the nauty algorithm to a broad class of data structures☆14Oct 30, 2023Updated 2 years ago
- The tools for proper interactions between ApproxFun.jl and DifferentialEquations.jl for pseudospectiral partial differential equation dis…☆14Nov 30, 2020Updated 5 years ago
- Julia package for editing and displaying binary file data in hexadecimal format☆11Mar 14, 2023Updated 2 years ago
- Turing machine ZKVM☆10Nov 12, 2023Updated 2 years ago
- The new Reactome REST API to access the data☆11Feb 2, 2026Updated last month
- Traits for julia iterators☆11Aug 22, 2020Updated 5 years ago
- Nucleic acid sequence designer☆12Jan 29, 2026Updated last month
- Interactive plotting of millions of data points☆11Mar 31, 2022Updated 3 years ago
- ☆10Aug 25, 2025Updated 6 months ago
- Python package for scraping MLB Stats☆11Aug 8, 2025Updated 6 months ago
- MicroShell is a lightweight pure C implementation of shell emulator dedicated for embedded bare-metal systems.☆13Oct 25, 2024Updated last year
- Bayesian scaling laws for in-context learning.☆15Mar 12, 2025Updated 11 months ago
- Calculate distances between strings by how similar they look☆11Jan 28, 2024Updated 2 years ago
- ☆13Feb 18, 2026Updated last week
- Universal instruction selection☆12Jun 8, 2018Updated 7 years ago
- 一个开源数学大模型项目,旨在探索大模型是否具有数学创造能力,以及大模型在前沿数学研究中的潜在能力。☆17May 16, 2025Updated 9 months ago
- Functionality for modifying Julia package registry files☆12Updated this week
- ☆16Jun 9, 2024Updated last year
- ☆12Jun 24, 2021Updated 4 years ago
- LensVM specifications and ABI definition☆12Apr 10, 2021Updated 4 years ago