Utilities for testing code equivalence
☆11Jun 25, 2024Updated 2 years ago
Alternatives and similar repositories for CodeEquivalenceUtilities
Users that are interested in CodeEquivalenceUtilities are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Continuous integration and deployment for Wolfram Language Paclets☆18Dec 19, 2024Updated last year
- Vi-like editing for Wolfram Notebooks☆11May 15, 2023Updated 3 years ago
- miscellaneous wolfram language functions☆33Jun 15, 2021Updated 5 years ago
- Wolfram Language connection to GPT, DALL-E, and more through the OpenAI API.☆32Apr 12, 2023Updated 3 years ago
- Open source package for OpenCascadeLink, which is bundled with Wolfram Language products as of version 12.1☆36Oct 1, 2026Updated 2 weeks ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Finite Element Method addons for Wolfram Language☆64Aug 25, 2025Updated last year
- MathTools is a Wolfram Language package that provides the software infrastructure I use for creating typeset mathematical diagrams and eq…☆19Mar 17, 2024Updated 2 years ago
- Locate local installations of the Wolfram Language.☆18Jun 15, 2026Updated 4 months ago
- Official Sublime Text package for Wolfram Language☆26May 21, 2025Updated last year
- Implements a model context protocol server using Wolfram Language☆96Oct 11, 2026Updated last week
- Additional features supporting paclets in Mathematica☆16Oct 3, 2017Updated 9 years ago
- Re-implementation of tasky in F#.☆21Oct 10, 2014Updated 12 years ago
- A parser for the Wolfram Language☆21Jul 31, 2015Updated 11 years ago
- CMake module for Mathematica.☆65Aug 8, 2025Updated last year
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A Rule-Based Integrator Built On An If-Then-Else Decision Tree☆44Mar 19, 2021Updated 5 years ago
- Traits, generics, and modern-day OOP proposal for Fortran☆18Oct 11, 2026Updated last week
- Header only C++ library simplifying Wolfram LibraryLink code☆39Jul 27, 2023Updated 3 years ago
- ☆19Oct 4, 2018Updated 8 years ago
- ☆11Aug 11, 2021Updated 5 years ago
- A utility library intended at providing reader macros for lambdas, arrays, accessors, hash-tables and hash-sets.☆14Feb 12, 2023Updated 3 years ago
- A suite of Mathematica tools aimed at making development easier☆49May 20, 2019Updated 7 years ago
- Find and report problems in Wolfram Language code☆73Mar 3, 2026Updated 7 months ago
- A collection of some expository notes I have written☆24Nov 10, 2021Updated 4 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Read definitions of in-memory Mathematica functions with ease☆51Jan 28, 2020Updated 6 years ago
- ☆27May 1, 2023Updated 3 years ago
- Wolfram Language interface to the Gurobi numerical optimization library☆26Sep 10, 2021Updated 5 years ago
- Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica☆76Feb 19, 2026Updated 8 months ago
- Extend Mathematica with LibraryLink and C++ with ease☆59Feb 26, 2021Updated 5 years ago
- Adds color to your Wolfram Language outputs in an ANSI capable terminal☆10Sep 19, 2019Updated 7 years ago
- A CLI to control AdGuard Home☆18Feb 6, 2026Updated 8 months ago
- A purely academic effort to compile a subset of C to a 3-symbol, 5-tape simulated turing machine ruleset.☆11Sep 17, 2011Updated 15 years ago
- Creating dynamic libraries that can be loaded in the Wolfram Language via `LibraryLink`☆15Aug 21, 2019Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Automatic differentiation of FEniCS and Firedrake models in Julia☆14Mar 21, 2021Updated 5 years ago
- The GMap iteration macro, plus a few other useful macros.☆22Aug 15, 2026Updated 2 months ago
- Implementation of dual numbers for automatic differentiation of programs☆27Jul 10, 2025Updated last year
- Experiments calling Julia from Python☆11Jan 28, 2022Updated 4 years ago
- Syntax definitions for the Modelica language☆12Apr 12, 2021Updated 5 years ago
- A Julia package that solves Linearly Constrained Separable Optimization Problems using ADMM.☆31Jul 19, 2021Updated 5 years ago
- A Bipedal Gait Generation Library Using Equilibria and Numerical Continuation Methods. For example gaits, visit https://nr-codes.github.…☆12Jul 15, 2021Updated 5 years ago