Alternatives and similar repositories for the_lighthill_debate_on_ai

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

• rayking99 / BlockStar
  A star for organising blocks and playing with transformers.
  ☆23Updated last year
• Dicklesworthstone / grassmann_article
  ☆52Updated last year
• gvelesandro / constructor-theory-simulator
  ☆68Updated 3 weeks ago
• Dicklesworthstone / bakery_algorithm
  Lamport's Bakery Algorithm Demonstrated in Python
  ☆95Updated last year
• ndrwnaguib / principia
  Rewriting Principia Mathematica in Lean
  ☆135Updated last month
• andyk / recursive_llm
  Implement recursion using English as the programming language and an LLM as the runtime.
  ☆237Updated 2 years ago
• vagos / llm-interpolate
  Interpolate between embedding points with llm
  ☆38Updated last year
• anordin95 / run-llama-locally
  Run and explore Llama models locally with minimal dependencies on CPU
  ☆189Updated last year
• DarkStar1982 / Orbidium
  ☆96Updated last year
• brianmg / voynich-nlp-analysis
  ☆126Updated 5 months ago
• rentruewang / bocoel
  Bayesian Optimization as a Coverage Tool for Evaluating LLMs. Accurate evaluation (benchmarking) that's 10 times faster with just a few l…
  ☆285Updated last month
• kordless / gnosis-mystic
  Advanced Python Function Debugging with MCP Integration.
  ☆57Updated 4 months ago
• meelgroup / pepin
  A probabilistic approximate DNF counter
  ☆37Updated 2 months ago
• galenmarchetti / jupyter-notebook-package
  A Kurtosis package for Python data engineers, deploying a Jupyter notebook along with a configurable set of databases, and a visualizatio…
  ☆109Updated last year
• mikepapadim / llama-shepherd-cli
  A CLI to manage install and configure llama inference implemenation in multiple languages
  ☆65Updated last year
• phoenicyan / combinadics
  fast combinations calculation in jax
  ☆38Updated last year
• DebarghaG / proofofthought
  Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL)
  ☆348Updated 3 weeks ago
• Agentic-Systems-Lab / rigorous
  A comprehensive suite of tools, built to liberate science by making the creation, evaluation, and dissemination of research more transpar…
  ☆223Updated 3 months ago
• BobMcDear / trap
  Autoregressive transformers in APL
  ☆106Updated 2 months ago
• Dicklesworthstone / hoeffdings_d_explainer
  A Detailed Introduction to My Favorite Statistical Measure, Hoeffding's D
  ☆100Updated last year
• nirw4nna / dsc
  Tensor library & inference framework for machine learning
  ☆113Updated last month
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆85Updated 7 months ago
• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆68Updated 3 months ago
• Futrell / ziplm
  ☆254Updated 2 years ago
• nguyenchiemminhvu / LinuxIPC
  Examples of Linux Inter-Processing Communication
  ☆37Updated 9 months ago
• dicroce / hnsw
  Heirarchical Navigable Small Worlds
  ☆101Updated 3 months ago
• tatut / pgprolog
  PostgreSQL Prolog language handler
  ☆135Updated last year
• Dicklesworthstone / visual_astar_python
  Generate Cool-Looking Mazes and Animations Illustrating the A* Pathfinding Algorithm
  ☆177Updated 8 months ago
• vnglst / when-ai-fails
  When AI Fails is a project dedicated to documenting the funny, interesting, and sometimes outright stupid ways in which AI can fail.
  ☆63Updated 3 months ago
• Foreseerr / TScale
  ☆198Updated 6 months ago