Pinned Repositories
whitedb
WhiteDB memory database
eid
Examples for using Estonian eID
fbstalk
gkc
A reasoning system for large knowledge bases.
jsfol
JSON syntax for writing first order logic
json-ld-logic
JSON representation of first-order logic formulas
logictools
The goal is to help studying logic and solvers by providing easy-to-use, pure browser-based javascript tools for both full classical predicate logic and propositional formulas.
nlpsolver
An Experimental Pipeline for Automated Reasoning in Natural Language
reactsdb
sightsmap
Sightsmap data
tammet's Repositories
tammet/logictools
The goal is to help studying logic and solvers by providing easy-to-use, pure browser-based javascript tools for both full classical predicate logic and propositional formulas.
tammet/gkc
A reasoning system for large knowledge bases.
tammet/eid
Examples for using Estonian eID
tammet/json-ld-logic
JSON representation of first-order logic formulas
tammet/nlpsolver
An Experimental Pipeline for Automated Reasoning in Natural Language
tammet/sightsmap
Sightsmap data
tammet/fbstalk
tammet/jsfol
JSON syntax for writing first order logic
tammet/reactsdb
tammet/SwarmIt
SwarmIt is a Golang project I created to learn the language and challenge myself to bypass Google's infamous ReCaptcha. The usecase for this project was to find a practical way to automate the process of registering a large number of social media accounts while bypassing ReCaptcha.
tammet/tammet.github.io
tammet/whitedb-website
Website tools and content for
tammet/Swedbank
tammet/tarkvaratehnoloogia