WuTheFWasThat / dotfilesLinks
my configuration files
☆12Updated 2 months ago
Alternatives and similar repositories for dotfiles
Users that are interested in dotfiles are comparing it to the libraries listed below
Sorting:
- database & aggregate search engine for arbitration outcomes☆17Updated 5 years ago
- A probabilistic programming language, based on Church☆17Updated 7 years ago
- IMO Grand Challenge for Artificial Intelligence☆46Updated 3 years ago
- Generating fun Stack Exchange questions using Markov chains☆25Updated last year
- Python tools for working with Manifold Markets☆34Updated 7 months ago
- Some examples of Lean projects, for undergraduate mathematicians.☆23Updated 3 years ago
- Linear algebra visualizations☆12Updated 3 years ago
- Write tables in the command line.☆17Updated 11 years ago
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆129Updated 10 years ago
- Command-line recursive question-answering with immutable contexts and explicit data store☆26Updated 6 years ago
- Whit is an open source SMS service, which allows you to query CrunchBase, Wikipedia, and several other data APIs.☆198Updated 12 years ago
- Read, Collaborate and talk about scientific papers☆30Updated 2 years ago
- A tool for analyzing complex company financial documents from the comfort of your own computer.☆14Updated 10 years ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 5 years ago
- a writeup on some experiments on a sequence model for chess games☆30Updated 3 years ago
- DEPRECATED. We are now using the askcos repositories for Chemhacktica and reverse synthesis.☆13Updated 9 months ago
- FUSE (the low-level interface) file system boilerplate☆16Updated 2 years ago
- A system for computational category theory and applications☆38Updated 8 years ago
- Visualize and compare COVID 19 growth rates of different countries☆23Updated 4 years ago
- auto-generate blog post from coding history☆20Updated 11 years ago
- strip tracking and syndicate google alerts☆11Updated last year
- LLMs playing chess are sensitive to how the position came to be☆23Updated last year
- ACT community resources☆21Updated 5 years ago
- formalization of theorems of higher algebraic K-theory☆8Updated 11 years ago
- DeepAlgebra☆25Updated 7 years ago
- An HTTP log monitoring tool for your terminal☆23Updated 5 years ago
- Repository to allow collaboration between Cycle Labs Cloud community in support of the community.☆9Updated 3 years ago
- A web app for recursive question-answering with pointers☆38Updated 2 years ago
- A playable version of the j-archive☆24Updated 6 years ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 6 months ago