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

• gvelesandro / constructor-theory-simulator
  ☆68Updated 2 months ago
• ndrwnaguib / principia
  Rewriting Principia Mathematica in Lean
  ☆136Updated 3 months ago
• rayking99 / BlockStar
  A star for organising blocks and playing with transformers.
  ☆23Updated last year
• andyk / recursive_llm
  Implement recursion using English as the programming language and an LLM as the runtime.
  ☆238Updated 2 years ago
• kordless / gnosis-mystic
  Advanced Python Function Debugging with MCP Integration.
  ☆57Updated 6 months ago
• Dicklesworthstone / bakery_algorithm
  Lamport's Bakery Algorithm Demonstrated in Python
  ☆95Updated last year
• DarkStar1982 / Orbidium
  ☆96Updated last year
• brianmg / voynich-nlp-analysis
  ☆126Updated 6 months ago
• Dicklesworthstone / grassmann_article
  ☆52Updated last year
• meelgroup / pepin
  A probabilistic approximate DNF counter
  ☆39Updated 3 weeks ago
• Foreseerr / TScale
  ☆199Updated 7 months ago
• Avicted / galaxy_visualization_raylib
  This project visualizes 100,000 real galaxies in blue and 100,000 randomly distributed galaxies in red. The data is sourced from the GPU …
  ☆88Updated 3 months ago
• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆73Updated 4 months ago
• mikepapadim / llama-shepherd-cli
  A CLI to manage install and configure llama inference implemenation in multiple languages
  ☆65Updated last year
• AugmendTech / treeseg
  Hierarchical topic segmentation of meeting transcripts using embeddings and divisive clustering.
  ☆54Updated last year
• anordin95 / run-llama-locally
  Run and explore Llama models locally with minimal dependencies on CPU
  ☆190Updated last year
• joelburget / microjax
  A tiny autograd engine with a Jax-like API
  ☆74Updated 5 months ago
• moonshine-ai / qc_npu_benchmark
  Code sample showing how to run and benchmark models on Qualcomm's Window PCs
  ☆104Updated 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 4 months ago
• simonw / llm-hacker-news
  LLM plugin for pulling content from Hacker News
  ☆122Updated 7 months ago
• cfusting / conditional-growth
  Grow virtual creatures in static and physics simulated environments.
  ☆53Updated last year
• ClemHeyd / PCR7500
  Craziness.
  ☆29Updated 10 months ago
• Dobiasd / treebomination
  convert a scikit-learn decision tree into a Keras model
  ☆39Updated 2 years ago
• Dicklesworthstone / visual_astar_python
  Generate Cool-Looking Mazes and Animations Illustrating the A* Pathfinding Algorithm
  ☆175Updated 9 months ago
• joennlae / tensorli
  Absolute minimalistic implementation of a GPT-like transformer using only numpy (<650 lines).
  ☆254Updated 2 years ago
• phoenicyan / combinadics
  fast combinations calculation in jax
  ☆39Updated last year
• everydayanchovies / SpatialFinder
  ☆39Updated 2 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…
  ☆287Updated 3 months ago
• DebarghaG / proofofthought
  Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL)
  ☆364Updated 2 months ago
• BobMcDear / trap
  Autoregressive transformers in APL
  ☆106Updated 3 months ago