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

• Dicklesworthstone / bakery_algorithm
  Lamport's Bakery Algorithm Demonstrated in Python
  ☆95Updated last year
• Dicklesworthstone / grassmann_article
  ☆53Updated last year
• ndrwnaguib / principia
  Rewriting Principia Mathematica in Lean
  ☆136Updated 3 months ago
• DarkStar1982 / Orbidium
  ☆96Updated last year
• andyk / recursive_llm
  Implement recursion using English as the programming language and an LLM as the runtime.
  ☆237Updated 2 years ago
• gvelesandro / constructor-theory-simulator
  ☆68Updated 2 months ago
• mikepapadim / llama-shepherd-cli
  A CLI to manage install and configure llama inference implemenation in multiple languages
  ☆65Updated last year
• 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
• brianmg / voynich-nlp-analysis
  ☆126Updated 7 months ago
• rayking99 / BlockStar
  A star for organising blocks and playing with transformers.
  ☆23Updated last year
• Dicklesworthstone / visual_astar_python
  Generate Cool-Looking Mazes and Animations Illustrating the A* Pathfinding Algorithm
  ☆175Updated 10 months ago
• kordless / gnosis-mystic
  Advanced Python Function Debugging with MCP Integration.
  ☆57Updated 6 months ago
• ivanbelenky / RL
  R.L. methods and techniques.
  ☆199Updated this week
• Foreseerr / TScale
  ☆199Updated 7 months ago
• nirw4nna / dsc
  Tensor library & inference framework for machine learning
  ☆117Updated 2 months ago
• samvher / bert-for-laptops
  A BERT that you can train on a (gaming) laptop.
  ☆210Updated 2 years ago
• joennlae / tensorli
  Absolute minimalistic implementation of a GPT-like transformer using only numpy (<650 lines).
  ☆254Updated 2 years ago
• slashml / amd_inference
  Docker-based inference engine for AMD GPUs
  ☆231Updated last year
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆85Updated 8 months ago
• DebarghaG / proofofthought
  Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL)
  ☆365Updated 2 months ago
• Dicklesworthstone / hoeffdings_d_explainer
  A Detailed Introduction to My Favorite Statistical Measure, Hoeffding's D
  ☆100Updated last year
• anordin95 / run-llama-locally
  Run and explore Llama models locally with minimal dependencies on CPU
  ☆190Updated last year
• Agentic-Systems-Lab / rigorous
  A comprehensive suite of tools, built to liberate science by making the creation, evaluation, and dissemination of research more transpar…
  ☆228Updated 4 months ago
• Dobiasd / treebomination
  convert a scikit-learn decision tree into a Keras model
  ☆39Updated 2 years ago
• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆73Updated 5 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 2 years ago
• BobMcDear / trap
  Autoregressive transformers in APL
  ☆106Updated 3 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
• simonw / llm-hacker-news
  LLM plugin for pulling content from Hacker News
  ☆124Updated 7 months ago
• joelburget / microjax
  A tiny autograd engine with a Jax-like API
  ☆74Updated 5 months ago