teorth / newtonView external linksLinks
☆12Dec 25, 2023Updated 2 years ago
Alternatives and similar repositories for newton
Users that are interested in newton are comparing it to the libraries listed below
Sorting:
- ☆10Sep 26, 2024Updated last year
- ☆95Nov 12, 2023Updated 2 years ago
- Project to verify the Guy-Selfridge conjectures☆24Jun 14, 2025Updated 8 months ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Feb 15, 2025Updated 11 months ago
- AI for Mathematics Paper List☆17Jan 14, 2025Updated last year
- High level Lean 4 FFI for Rust☆14Mar 16, 2024Updated last year
- The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆19Mar 29, 2025Updated 10 months ago
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆206Jan 24, 2026Updated 2 weeks ago
- A minimal language for Isabelle/HOL, designed for easing machine learning.☆25Jan 13, 2026Updated last month
- Tool for checking crash-consistency for persistent-memory file systems (Eurosys 23)☆19Jun 19, 2024Updated last year
- ☆22Jan 14, 2026Updated 3 weeks ago
- Repository for the QED interactive text and possible extensions☆118Jan 25, 2025Updated last year
- ☆73May 31, 2025Updated 8 months ago
- A sample Windows Service (.NET Framework) C# boilerplate.☆28Aug 21, 2019Updated 6 years ago
- ☆27Feb 3, 2026Updated last week
- Probabilistic separation logics for verifying higher-order probabilistic programs.☆33Updated this week
- A Desktop Manager using Python☆10Oct 22, 2019Updated 6 years ago
- FUSION is an open-source project aimed at revolutionizing networking through the simulation of advanced SD-EONs and AI-enhanced networks,…☆13Jan 30, 2026Updated 2 weeks ago
- A .NET tool that allows you to easily change the Visual Studio version information in a solution file using a Visual Studio version numbe…☆12Feb 7, 2026Updated last week
- Working with command line parameters/arguments for console projects☆12Apr 6, 2025Updated 10 months ago
- A Snowflake SQL parser (WIP)☆11May 31, 2020Updated 5 years ago
- Visual Studio extension that checks for files that have 'Copy to output directory' set to 'Copy always'.☆11Mar 19, 2025Updated 10 months 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
- Import Obsidian Vault in TiddlyWiki5☆11Updated this week
- A command line utility for downloading Xbox screenshots and game clips to local storage☆10Apr 22, 2024Updated last year
- Tools and models for estimating Filecoin energy use from on-chain proofs☆11Jun 14, 2024Updated last year
- Calculate allowed interactions in QED☆10Nov 2, 2022Updated 3 years ago
- FlawlessChips is a C# library that provides gate-level simulation of various 8-bit chips.☆10Jan 17, 2026Updated 3 weeks ago
- ☆13Mar 26, 2024Updated last year
- ☆11Sep 8, 2022Updated 3 years ago
- C# Adaptive Radix Tree implementation + Fuzzy String Match stuff + License Plate Index + NGram Index☆39Jan 2, 2021Updated 5 years ago
- ☆10Oct 3, 2018Updated 7 years ago
- Active Inference & Category Theory☆10Mar 11, 2024Updated last year
- Structured Information on State and Evolution of Dockerfiles - Online Appendix☆10Mar 16, 2018Updated 7 years ago
- Sources of the EuroProofNet web site.☆13Feb 2, 2026Updated last week
- Alternative Mizar proof checker (http://mizar.org/) written in Rust☆59Jan 11, 2026Updated last month
- Bayesian scaling laws for in-context learning.☆15Mar 12, 2025Updated 11 months ago
- .NET Standard Library for Parsing DSV (Delimiter-Separated Values) data like CSV☆14Jun 30, 2024Updated last year
- ☆11Sep 3, 2024Updated last year