Major league baseball game predictor that uses a monte carlo technique to simulate games
☆23Jul 7, 2017Updated 8 years ago
Alternatives and similar repositories for monte-carlo-mlb
Users that are interested in monte-carlo-mlb are comparing it to the libraries listed below
Sorting:
- ML Basis for Poly/ML☆13Oct 18, 2025Updated 4 months ago
- deepnn architecture for generating monophonic melodies conditioned on chords☆13Apr 15, 2019Updated 6 years ago
- a Compileable statically typed Functional programming Language☆11Jun 11, 2015Updated 10 years ago
- Tensorflow GNU/Linux, MacOS binaries compiled with SSE4.1, SSE4.2 and AVX☆14Aug 22, 2017Updated 8 years ago
- Standard ML Parser Combinator Library☆17Jan 9, 2026Updated 2 months ago
- Pixel wise segmentation of road lanes and cars on an image based on FCN☆13Jan 1, 2018Updated 8 years ago
- GUI for op1repacker tool from op1hacks GitHub + extras☆17Feb 4, 2026Updated last month
- Tool for converting LaTeX-prepared documents to Wordpress-ready HTML☆14Mar 11, 2025Updated 11 months ago
- I used to run training sessions for this language. Not much has changed.☆16Dec 4, 2021Updated 4 years ago
- Python library for MOde Recognition and Tonic Identification☆15Jan 27, 2017Updated 9 years ago
- Free iOS Piano app with AnimalNoteHeads☆10Jan 11, 2016Updated 10 years ago
- Music XML Analyzer☆19Apr 7, 2016Updated 9 years ago
- Boolean satisfiability for propositional logic in Python☆14Aug 19, 2025Updated 6 months ago
- TensorFlow solution to the Thomson problem☆18Apr 13, 2020Updated 5 years ago
- Source Code for 'The Joys of Hashing' by Thomas Mailund☆20Feb 11, 2019Updated 7 years ago
- Python/Sage Tool for deriving Scattering Matrices for WDF R-Adaptors☆18Feb 3, 2023Updated 3 years ago
- Physics Derivation Graph: mathematical connections among equations☆23Feb 3, 2026Updated last month
- A self-contained implementation of forward and backward inference for intuitionistic propositional logic☆18Oct 10, 2017Updated 8 years ago
- A Declarative Theorem Prover for First-Order Classical Logic☆29Jun 14, 2024Updated last year
- ☆18Aug 12, 2019Updated 6 years ago
- A game of quantum physics☆24Dec 15, 2018Updated 7 years ago
- System F in coq.☆19Jan 27, 2015Updated 11 years ago
- A bare-bones LCF-style proof assistant☆25Aug 13, 2019Updated 6 years ago
- My LaTeX logbook template, including the date generation bash script.☆23Jan 27, 2017Updated 9 years ago
- This is a mirror of the official cmucl repo at gitlab.common-lisp.net☆30Updated this week
- ISMIR 2016 Late-Breaking/Demo Papers☆25Aug 17, 2016Updated 9 years ago
- Haskell implementation of the Edinburgh Logical Framework☆32Jan 12, 2026Updated last month
- Enhancing Music Notation Addressability (EMA) API specification☆21May 23, 2023Updated 2 years ago
- Write formal proofs in natural language and LaTeX.☆46Dec 18, 2025Updated 2 months ago
- A toy example of a verified compiler.☆31Feb 5, 2026Updated last month
- Re-implementation of a minimal interpreter for a subset of Haskell☆37Sep 24, 2025Updated 5 months ago
- Python interpreter for Peter Landin's SECD abstract machine.☆42Apr 12, 2013Updated 12 years ago
- OSEHRA VistA M Components☆41Feb 28, 2026Updated last week
- A classical propositional theorem prover in Haskell, using Wang's Algorithm.☆36Jun 12, 2019Updated 6 years ago
- Arbitrary precision, automatic re-computing real numbers in Common Lisp.☆35Jan 23, 2024Updated 2 years ago
- Open-source audio fingerprint by MusicIP☆46Jul 18, 2024Updated last year
- Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…☆40Mar 2, 2026Updated last week
- Fully customisable IBDesignable circle of fifths implementation in swift.☆51Sep 13, 2018Updated 7 years ago
- Sibelius MEI Plugin☆40Mar 1, 2026Updated last week