@logicbot@mathstodon.xyz
☆21Apr 15, 2023Updated 2 years ago
Alternatives and similar repositories for Logic-Bot
Users that are interested in Logic-Bot are comparing it to the libraries listed below
Sorting:
- Writing proofs to Twitter since April 2020☆12Jun 9, 2022Updated 3 years ago
- ☆11Feb 20, 2026Updated last week
- Toolkit for Bayesian scaling analysis☆14Sep 8, 2022Updated 3 years ago
- DuraCloud open source project☆18Dec 3, 2025Updated 2 months ago
- Sparse symmetric indefinite solver implemented with a runtime system☆13May 11, 2020Updated 5 years ago
- Material for a course on applied machine-learning for scientists. Taught at EPFL in spring 2018.☆11May 3, 2018Updated 7 years ago
- Fast tensor disentangling algorithm☆10Jun 4, 2021Updated 4 years ago
- Example repo showing how to build wheels with cibuildwheel and automatically upload to PyPI on every tag☆15Nov 1, 2021Updated 4 years ago
- Parser and serializer for the Turtle format☆11Jul 4, 2023Updated 2 years ago
- Analytics Engineering best practices and standards used at Hiflylabs☆12Jul 7, 2025Updated 7 months ago
- RDF parser written in Elixir☆12Apr 5, 2017Updated 8 years ago
- Fun little project to help me beat my Mom at Words with Friends.☆13Apr 26, 2020Updated 5 years ago
- A Formalization of TeX in Coq☆11Feb 27, 2022Updated 4 years ago
- ☆15Jan 28, 2025Updated last year
- Evaluates the negativity of tweets in relation to candidate(s) that the tweeter follows☆10Jun 29, 2023Updated 2 years ago
- Groundstate Reconstructive Energies using Neural Autoregressive Distribution Estimators (GreNADE)☆10Apr 1, 2022Updated 3 years ago
- Information about GPO's XPub System and Sample Output Files☆10Apr 7, 2022Updated 3 years ago
- Fast Fourier transform on hexagonal grids using Birdsong and Rummelt's algorithm☆12Feb 10, 2020Updated 6 years ago
- Create a data visualization using Polymer and WebGL☆14Jun 10, 2017Updated 8 years ago
- ☆10Jan 16, 2020Updated 6 years ago
- ☆13Dec 28, 2022Updated 3 years ago
- Official implementation of spectrum bifurcation renormalization group(SBRG), which is suitable for quantum simulation on strong disordere…☆11Feb 23, 2021Updated 5 years ago
- A Python script to process data from http://killedbypolice.net☆10Feb 1, 2016Updated 10 years ago
- A book about datalog☆12Nov 26, 2022Updated 3 years ago
- A friendly UI for arXiv hosting papers on fairness and ethics in Machine Learning & Data Science☆12Jul 4, 2019Updated 6 years ago
- playing with gpt4☆14Mar 17, 2023Updated 2 years ago
- LOC Standards, Schemas, Stylesheets, etc.☆11Sep 30, 2025Updated 5 months ago
- Goofy physics notation☆11Apr 7, 2020Updated 5 years ago
- Princeton Univ. Library Apps best practices and recommendations☆14Updated this week
- ☆11Aug 27, 2021Updated 4 years ago
- Create your own online school for free☆16May 9, 2016Updated 9 years ago
- A study of ecosystem in Julia, as an alternative to Matlab☆12Jul 2, 2020Updated 5 years ago
- Learning to Blame Type Errors from Novice Mistakes☆10Sep 19, 2017Updated 8 years ago
- Material from M1P1, formalised in Lean☆15Nov 2, 2019Updated 6 years ago
- Julia package for quantum circuit generation☆14Jan 22, 2022Updated 4 years ago
- A package for creating a matrix product state (MPS) from a free fermion (Gaussian) state.☆10Dec 6, 2021Updated 4 years ago
- Julia package for the quantum cluster theories in condensed matter physics, including cluster perturbation theory (CPT), variational clus…☆10Sep 23, 2022Updated 3 years ago
- Stemming library for Rust, using bindings to Snowball C implementation☆13Feb 26, 2016Updated 10 years ago
- ☆12Jan 7, 2023Updated 3 years ago