WuTheFWasThat / dotfilesLinks
my configuration files
☆12Updated last week
Alternatives and similar repositories for dotfiles
Users that are interested in dotfiles are comparing it to the libraries listed below
Sorting:
- Linear algebra visualizations☆12Updated 3 years ago
- Write tables in the command line.☆17Updated 11 years ago
- IMO Grand Challenge for Artificial Intelligence☆46Updated 3 years ago
- Generating fun Stack Exchange questions using Markov chains☆25Updated last year
- database & aggregate search engine for arbitration outcomes☆17Updated 5 years ago
- A web app for recursive question-answering with pointers☆39Updated 2 years ago
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆129Updated 11 years ago
- deep learning for math☆30Updated 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
- OpenCog Unsupervised Language Learning☆20Updated 5 years ago
- ACT community resources☆21Updated 5 years ago
- Superposition prover☆17Updated 2 years ago
- Tweet probabilistically generated HN post titles.☆29Updated 2 years ago
- Some examples of Lean projects, for undergraduate mathematicians.☆23Updated 4 years ago
- Python tools for working with Manifold Markets☆35Updated this week
- Work with spelling errors.☆13Updated 10 years ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 5 years ago
- Bridge the terminal and browser☆18Updated last year
- Installing, packaging, deploying and managing OpenCog☆21Updated 2 weeks ago
- A collection of best practices that we have learnt so far☆12Updated 11 years ago
- 🦠 DeepDecipher: An open source API to MLP neurons☆9Updated last year
- Aheui interpreter in Javascript☆23Updated 8 years ago
- DeepAlgebra☆25Updated 7 years ago
- QR code music player☆19Updated 2 years ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆11Updated 2 years ago
- Using parsec☆9Updated 5 years ago
- 📹 Download YouTube playlists for safekeeping☆12Updated 6 years ago
- My home directory and package management stuff, inelegant as it may be☆18Updated last week
- Super secret underground organisation for global awesomeness.☆12Updated 4 years ago
- ☆20Updated 9 years ago