WuTheFWasThat / dotfiles
my configuration files
☆12Updated 3 weeks ago
Alternatives and similar repositories for dotfiles:
Users that are interested in dotfiles are comparing it to the libraries listed below
- A probabilistic programming language, based on Church☆17Updated 7 years ago
- Linear algebra visualizations☆12Updated 3 years ago
- database & aggregate search engine for arbitration outcomes☆17Updated 5 years ago
- Some examples of Lean projects, for undergraduate mathematicians.☆22Updated 3 years ago
- IMO Grand Challenge for Artificial Intelligence☆46Updated 3 years ago
- ensure core packaging tools work well with each other☆19Updated 6 years ago
- Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feat…☆16Updated 2 years ago
- Generating fun Stack Exchange questions using Markov chains☆25Updated 11 months ago
- Write tables in the command line.☆17Updated 10 years ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 4 years ago
- A web app for recursive question-answering with pointers☆38Updated 2 years ago
- Open source code for Arbital☆14Updated 6 years ago
- chrome extension to display github stars in repo links☆11Updated 6 months ago
- ☆13Updated last month
- auto-generate blog post from coding history☆20Updated 10 years ago
- Dyna built on R-exprs (First Prototype)☆15Updated 3 years ago
- Command-line recursive question-answering with immutable contexts and explicit data store☆25Updated 6 years ago
- Installing, packaging, deploying and managing OpenCog☆21Updated 3 weeks ago
- reviving eyebrowse☆14Updated 6 years ago
- Script for generating PNG preview from asciicast JSON file☆14Updated 3 years ago
- Metamath verifier in Python☆38Updated last year
- Rapidly create full-featured command line interfaces with help, subcommand dispatch, and validation.☆13Updated 4 years ago
- ☆28Updated 10 years ago
- Webpay is an implementation of the WebPaymentProvider spec☆42Updated 9 years ago
- Named Tensors for Legible Deep Learning in JAX☆172Updated this week
- Rigorous computation of the endomorphism ring of a Jacobian☆10Updated 3 weeks ago
- Swarm training framework using Haiku + JAX + Ray for layer parallel transformer language models on unreliable, heterogeneous nodes☆238Updated last year
- See https://github.com/sagemathinc/smc instead!☆22Updated 6 years ago
- ☆21Updated 5 years ago
- Version control repository manager☆12Updated 6 years ago