Lean-independent implementation of the MM-Lean link
☆31Nov 20, 2022Updated 3 years ago
Alternatives and similar repositories for mathematica
Users that are interested in mathematica are comparing it to the libraries listed below
Sorting:
- Wolfram Function Repository Issue Tracer☆13Sep 10, 2020Updated 5 years ago
- A formalization of the Rubik's cube group☆28Oct 1, 2020Updated 5 years ago
- A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.☆28Dec 24, 2021Updated 4 years ago
- Jupyter notebooks for Wolfram Language Scripts☆14Dec 30, 2019Updated 6 years ago
- This is a full collection of all the main functions taught in EE2211. It can greatly speed up your speed when doing mid-term or final exa…☆18Sep 3, 2025Updated 5 months ago
- ☆30Jan 20, 2018Updated 8 years ago
- Graphical user defaults editor for macOS☆37Jan 18, 2026Updated last month
- ECOin is a P2P crypto-currency with the goal of providing a long-term energy-efficient digital economy strategy.☆13Updated this week
- Common GreenAddress web files (used by Electron app, Cordova app) or see js_only_deprecated for web/Chrome app☆11Jun 18, 2024Updated last year
- Header only C++ library simplifying Wolfram LibraryLink code☆39Jul 27, 2023Updated 2 years ago
- Analysing result obtained using quite different RL algorithm☆13Sep 5, 2019Updated 6 years ago
- ☆12Feb 18, 2024Updated 2 years ago
- A Lean file formatter☆71Feb 3, 2023Updated 3 years ago
- Python talking to the Lean theorem prover☆46Aug 25, 2021Updated 4 years ago
- Integrates the Wolfram Language seamlessly with Python AIOHTTP☆96Nov 28, 2023Updated 2 years ago
- An interpretable machine learning algorithm to predict disordered protein phase separation based on biophysical interactions☆13Aug 2, 2022Updated 3 years ago
- Python SDK for IUDX.☆10Apr 29, 2021Updated 4 years ago
- Prangster tool from the Black Hat USA 2013 presentation "Black-Box Assessment of Pseudorandom Algorithms" by Derek Soeder, Christopher Ab…☆11Jul 9, 2014Updated 11 years ago
- Pascal2 Harvest project QuEst☆14Sep 15, 2014Updated 11 years ago
- Generate letters (plain text or PDF) from templates.☆14Jan 8, 2023Updated 3 years ago
- ☆11Oct 31, 2021Updated 4 years ago
- Literally does the opposite of Ciphey. Encrypts text.☆11Feb 25, 2021Updated 5 years ago
- Utility for making crosschain transactions on the Wanchain network☆13Mar 18, 2019Updated 6 years ago
- ☆10Dec 8, 2022Updated 3 years ago
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 4 years ago
- Archive of the categories mailling list☆12Sep 8, 2020Updated 5 years ago
- pano date resolver stuff☆18Dec 3, 2025Updated 2 months ago
- ☆13Mar 6, 2010Updated 15 years ago
- Functional composable pipelines allowing clean separation of the business logic and its implementation☆11Sep 6, 2025Updated 5 months ago
- ☆11Apr 6, 2018Updated 7 years ago
- Centipede is a work-in-progress multipathing VPN for improving smartphone Internet connection reliability and performance.☆10Sep 30, 2024Updated last year
- ☆10Apr 24, 2022Updated 3 years ago
- ☆11Dec 30, 2025Updated 2 months ago
- A flexible Mathematica package for conducting experiments involving spatial game theory☆53Jul 18, 2019Updated 6 years ago
- A curated list of Wolfram Language packages and resources.☆41Dec 29, 2025Updated 2 months ago
- ☆165Nov 5, 2019Updated 6 years ago
- A Micronaut configuration that integrates your app with an existing Jupyter installation.☆10Jan 9, 2026Updated last month
- A fairly simple personal portfolio. 🚀☆11Apr 24, 2024Updated last year
- A Bipedal Gait Generation Library Using Equilibria and Numerical Continuation Methods. For example gaits, visit https://nr-codes.github.…☆12Jul 15, 2021Updated 4 years ago