Alternatives and similar repositories for EigenSeeClearlyNow

Users that are interested in EigenSeeClearlyNow are comparing it to the libraries listed below

• WuTheFWasThat / dotfiles
  my configuration files
  ☆12Updated 2 months ago
• oughtinc / mosaic
  A web app for recursive question-answering with pointers
  ☆38Updated 2 years ago
• oughtinc / patchwork
  Command-line recursive question-answering with immutable contexts and explicit data store
  ☆26Updated 6 years ago
• jsomers / j-jeopardy
  A playable version of the j-archive
  ☆24Updated 6 years ago
• merrypuck / whit
  Whit is an open source SMS service, which allows you to query CrunchBase, Wikipedia, and several other data APIs.
  ☆198Updated 12 years ago
• urbit / archaeology
  An Operating Function
  ☆330Updated 10 years ago
• jbenet / data
  package manager for datasets
  ☆60Updated 10 years ago
• paulfchristiano / alba
  Implementation of https://medium.com/ai-control/alba-an-explicit-proposal-for-aligned-ai-17a55f60bbcf
  ☆27Updated 8 years ago
• rosulek / vamonos
  Vamonos: browser-based algorithm visualization
  ☆132Updated 5 months ago
• haystack / eyebrowse-server
  Eyebrowser Server
  ☆29Updated 6 years ago
• machine-intelligence / arbital-open-source
  Open source code for Arbital
  ☆14Updated 6 years ago
• allenai / meta-eval
  Tools to evaluate accuracies of various (research papers') metadata extraction libraries
  ☆11Updated 9 years ago
• asmeurer / catimg
  Print an image of a cat to the iTerm2 terminal
  ☆15Updated 8 years ago
• WuTheFWasThat / PyChurch
  A probabilistic programming language, based on Church
  ☆17Updated 7 years ago
• aragon / autobounty
  Github bot that automatically funds https://commiteth.com bounties
  ☆13Updated 7 years ago
• overleaf / real-time
  The socket.io layer of Overleaf for real-time editor interactions
  ☆17Updated 3 years ago
• brain-research / hol-light
  Patched version of HOL Light with tactic logging for machine learning purposes
  ☆34Updated 5 years ago
• metacademy / metacademy-content
  content repository for metacademy.org
  ☆91Updated 8 years ago
• oughtinc / hch
  Humans consulting HCH
  ☆10Updated 7 years ago
• j2kun / essays
  Short essays I've written
  ☆78Updated last year
• TellinaTool / tellina
  Web application that translates a user's natural language description into bash commands
  ☆82Updated last year
• Findus23 / se-simulator
  Generating fun Stack Exchange questions using Markov chains
  ☆25Updated last year
• dselsam / lean-python-bindings
  Python Bindings to the Lean Theorem Prover http://leanprover.github.io/
  ☆13Updated 7 years ago
• bellroy / lesswrong
  Less Wrong platform
  ☆51Updated 7 years ago
• danwallach / STAR-Vote
  The secure, transparent, auditable, reliable electronic voting system
  ☆14Updated 8 years ago
• openai / pachi-py
  Python wrappers for Pachi. Contains a modified version of the bleeding-edge Pachi source code.
  ☆40Updated 2 years ago
• geohot / coq-hardy
  Formalizing the Theorems from Hardy's "An Introduction to the Theory of Numbers" in coq
  ☆54Updated 6 years ago
• hbrouwer / pdrt-sandbox
  a Haskell library that implements (Projective) Discourse Representation Theory (DRT)
  ☆25Updated 2 years ago
• nlplab / stav
  stav text annotation visualiser
  ☆34Updated 13 years ago
• booktree / alternatives
  Alternatives to this project.
  ☆13Updated 10 years ago