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

• ndrwnaguib / principia
  Rewriting Principia Mathematica in Lean
  ☆136Updated last week
• Dicklesworthstone / bakery_algorithm
  Lamport's Bakery Algorithm Demonstrated in Python
  ☆95Updated 2 years ago
• rayking99 / BlockStar
  A star for organising blocks and playing with transformers.
  ☆23Updated last year
• Dicklesworthstone / grassmann_article
  ☆53Updated last year
• anordin95 / run-llama-locally
  Run and explore Llama models locally with minimal dependencies on CPU
  ☆190Updated last year
• brianmg / voynich-nlp-analysis
  ☆126Updated 7 months ago
• DebarghaG / proofofthought
  Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL)
  ☆363Updated 3 months ago
• andyk / recursive_llm
  Implement recursion using English as the programming language and an LLM as the runtime.
  ☆239Updated 2 years ago
• gvelesandro / constructor-theory-simulator
  ☆69Updated 3 months ago
• DarkStar1982 / Orbidium
  ☆96Updated last year
• Dicklesworthstone / visual_astar_python
  Generate Cool-Looking Mazes and Animations Illustrating the A* Pathfinding Algorithm
  ☆175Updated 10 months ago
• ivanbelenky / RL
  R.L. methods and techniques.
  ☆199Updated last week
• joennlae / tensorli
  Absolute minimalistic implementation of a GPT-like transformer using only numpy (<650 lines).
  ☆254Updated 2 years ago
• cfusting / conditional-growth
  Grow virtual creatures in static and physics simulated environments.
  ☆53Updated last year
• Dobiasd / treebomination
  convert a scikit-learn decision tree into a Keras model
  ☆39Updated 2 years ago
• BobMcDear / trap
  Autoregressive transformers in APL
  ☆106Updated 4 months ago
• nirw4nna / dsc
  Tensor library & inference framework for machine learning
  ☆117Updated 3 months ago
• mikepapadim / llama-shepherd-cli
  A CLI to manage install and configure llama inference implemenation in multiple languages
  ☆65Updated 2 years ago
• cjdrake / seqlogic
  Sequential Logic
  ☆114Updated this week
• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆75Updated 5 months ago
• slashml / amd_inference
  Docker-based inference engine for AMD GPUs
  ☆231Updated last year
• simonw / llm-hacker-news
  LLM plugin for pulling content from Hacker News
  ☆124Updated 8 months ago
• jmward01 / lmplay
  A playground to make it easy to try crazy things
  ☆33Updated last month
• Foreseerr / TScale
  ☆200Updated 8 months ago
• Futrell / ziplm
  ☆255Updated 2 years ago
• moonshine-ai / qc_npu_benchmark
  Code sample showing how to run and benchmark models on Qualcomm's Window PCs
  ☆104Updated last year
• rentruewang / bocoel
  Bayesian Optimization as a Coverage Tool for Evaluating LLMs. Accurate evaluation (benchmarking) that's 10 times faster with just a few l…
  ☆287Updated 4 months ago
• tatut / pgprolog
  PostgreSQL Prolog language handler
  ☆135Updated last year
• 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 last week
• Dicklesworthstone / hoeffdings_d_explainer
  A Detailed Introduction to My Favorite Statistical Measure, Hoeffding's D
  ☆100Updated last year