silogizma / therefore
∴ deductive reasoning tool
☆90Updated 6 years ago
Alternatives and similar repositories for therefore:
Users that are interested in therefore are comparing it to the libraries listed below
- Automatically interpret and validate nested natural logic arguments based on rules of inference and propositional logic☆116Updated 6 years ago
- Most cited papers by keyword☆47Updated 3 months ago
- Test-Runner for Text☆40Updated last month
- An experimental text editor with an embedded neural text synthesizer☆177Updated 7 years ago
- Tree editor for touch screens☆66Updated 7 years ago
- Propagation Technique for Solving Low Rank Matrix Completion☆37Updated 8 years ago
- Read without moving your eyes.☆28Updated 10 years ago
- An analysis of historical Hacker News data to determine the ranking algorithm☆85Updated 8 years ago
- This is the world's first ever self-executable, fully interactive music album! Think of a music album that doesn't ask for a music player…☆20Updated 8 years ago
- ☆22Updated 5 years ago
- Reinforcement Learning in JavaScript☆76Updated 8 years ago
- ☆59Updated 6 years ago
- The system is formed by self-propelled satellites influenced by the Sun whose objective is not to leave the domain maintaining the maximu…☆17Updated 7 years ago
- Explore Forum Structured Data (on HackerNews) Visually☆42Updated 2 years ago
- An implementation of word2vec applied to [stanford philosophy encyclopedia](http://plato.stanford.edu/)☆35Updated 8 years ago
- A browser-based neural network simulation☆52Updated 9 years ago
- Lightweight CycleGAN tensorflow implementation 🦁 <-> 🐆☆35Updated 7 years ago
- teach the computer your language☆113Updated 5 years ago
- Fast Dot Products on Pretty Big Data☆15Updated 6 years ago
- Personal logging☆44Updated 8 years ago
- a collaborative collection of interview questions collected from both sides of the game: Interviewer(s) and Interviewee.☆112Updated 8 months ago
- RNN Tutorial for Artists☆183Updated 7 years ago
- Artistic patterns using recurrent neural network☆21Updated 2 years ago
- An automatic news summary generator☆24Updated 7 years ago
- Wikipedia web crawler and Google's PageRank algorithm implementation☆19Updated 5 years ago
- My personal Gollum deployment☆15Updated 7 years ago
- Simulation of Great filter concept in Fermi Paradox using RL, GA and Tensorflow.js☆30Updated 6 years ago
- Implementation of the model presented in our ECIR 2017 paper☆37Updated 8 years ago
- Deep Semantic Code Search aims to explore a joint embedding space for code and description vectors and then use it for a code search appl…☆65Updated 9 months ago
- Casual experiments with cellular automata☆77Updated 6 years ago