machine-intelligence / arbital-open-source

Related projects: ⓘ

• kronusaturn / lw2-viewer
  An alternative frontend for LessWrong 2.0
  ☆61Updated this week
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated last month
• Hazelfire / pedant
  A math language for dimensional analysis
  ☆22Updated last year
• ricsonc / transformers-play-chess
  a writeup on some experiments on a sequence model for chess games
  ☆27Updated 3 years ago
• AABoyles / LessWrong-Portable
  Make EBooks from LessWrong 2.0 and other sources of interest to the aspiring rationalist community
  ☆41Updated 5 months ago
• oughtinc / patchwork
  Command-line recursive question-answering with immutable contexts and explicit data store
  ☆24Updated 5 years ago
• apartresearch / deepdecipher
  🦠 DeepDecipher: An open source API to MLP neurons
  ☆9Updated 4 months ago
• johnswentworth / tracelang
  Read, write and manipulate code which reads, writes and manipulates code.
  ☆10Updated 4 years ago
• quantified-uncertainty / metaforecast
  Fetch forecasts from prediction markets/forecasting platforms to make them searchable. Integrate these forecasts into other services.
  ☆59Updated 3 weeks ago
• riceissa / ea-forum-reader
  EA Forum Reader: a fast and JavaScript-free way to browse the Effective Altruism Forum (and LessWrong 2.0)
  ☆12Updated 2 years ago
• adamjermyn / toy_model_interpretability
  ☆10Updated last year
• prathyvsh / lambda-calculus
  Guide elucidating Lambda Calculus
  ☆16Updated 3 years ago
• rethinkpriorities / squigglepy
  Squiggle programming language for intuitive probabilistic estimation features in Python
  ☆63Updated last month
• benthamite / EA-numbers
  Anki deck: Some key numbers that every effective altruist should know.
  ☆24Updated last year
• StampyAI / stampy
  A Discord bot for the Robert Miles AI server
  ☆37Updated 3 months ago
• google-deepmind / cartesian-frames
  A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.
  ☆16Updated 2 years ago
• Dyalog / dyalog-jupyter-notebooks
  Jupyter notebooks for Dyalog APL
  ☆41Updated 3 months ago
• breck7 / research
  I moved this folder. Keeping this repo up for archival purposes only.
  ☆17Updated 3 months ago
• thesephist / micropress
  An Ink library for automatic text summarization
  ☆14Updated 3 years ago
• vluzko / manifoldpy
  Python tools for working with Manifold Markets
  ☆33Updated 4 months ago
• joshuabenuck / seran-wiki
  Experiment to create a Deno based implementation of Federated Wiki
  ☆11Updated 4 years ago
• flancian / agora-server
  Agora Server implementation for the Agora (flancia.org/go/agora).
  ☆55Updated 2 weeks ago
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆23Updated 4 years ago
• oughtinc / mosaic
  A web app for recursive question-answering with pointers
  ☆37Updated last year
• paulbricman / semantica
  Extending conceptual thinking with semantic embeddings.
  ☆36Updated 3 years ago
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆34Updated last month
• NunoSempere / longNowForMd
  Utility for adding archive.org links to markdown files in the format [...](original link) ([a](archive.org link))
  ☆20Updated 3 months ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆26Updated last week
• karlicoss / dashboard
  ☆21Updated 10 months ago
• ErikBjare / chatalysis
  Analyse (group)chat messages. Currently supports: Facebook Messenger. Planned: Signal, Discord, WhatsApp
  ☆36Updated 2 years ago