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 last month
• brianmg / voynich-nlp-analysis
  ☆125Updated 6 months ago
• Dicklesworthstone / bakery_algorithm
  Lamport's Bakery Algorithm Demonstrated in Python
  ☆95Updated last year
• ndrwnaguib / principia
  Rewriting Principia Mathematica in Lean
  ☆136Updated 2 months ago
• andyk / recursive_llm
  Implement recursion using English as the programming language and an LLM as the runtime.
  ☆238Updated 2 years ago
• DarkStar1982 / Orbidium
  ☆96Updated last year
• kordless / gnosis-mystic
  Advanced Python Function Debugging with MCP Integration.
  ☆57Updated 5 months ago
• Dicklesworthstone / visual_astar_python
  Generate Cool-Looking Mazes and Animations Illustrating the A* Pathfinding Algorithm
  ☆175Updated 9 months ago
• meelgroup / pepin
  A probabilistic approximate DNF counter
  ☆37Updated 2 months ago
• nirw4nna / dsc
  Tensor library & inference framework for machine learning
  ☆113Updated last month
• mikepapadim / llama-shepherd-cli
  A CLI to manage install and configure llama inference implemenation in multiple languages
  ☆65Updated 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…
  ☆286Updated 2 months ago
• Dicklesworthstone / hoeffdings_d_explainer
  A Detailed Introduction to My Favorite Statistical Measure, Hoeffding's D
  ☆100Updated last year
• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆72Updated 4 months ago
• cfusting / conditional-growth
  Grow virtual creatures in static and physics simulated environments.
  ☆53Updated last year
• joelburget / microjax
  A tiny autograd engine with a Jax-like API
  ☆74Updated 4 months ago
• anordin95 / run-llama-locally
  Run and explore Llama models locally with minimal dependencies on CPU
  ☆190Updated last year
• slashml / amd_inference
  Docker-based inference engine for AMD GPUs
  ☆230Updated last year
• Futrell / ziplm
  ☆254Updated 2 years ago
• seanwevans / fluid-sims
  A collection of fluid simulations
  ☆59Updated last month
• DebarghaG / proofofthought
  Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL)
  ☆356Updated last month
• Avicted / galaxy_visualization_raylib
  100k real ( +100k random ) galaxies from a sector. Visualized with Raylib.
  ☆88Updated 2 months ago
• simonw / llm-hacker-news
  LLM plugin for pulling content from Hacker News
  ☆121Updated 6 months ago
• jmward01 / lmplay
  A playground to make it easy to try crazy things
  ☆33Updated this week
• Tsadoq / ErisForge
  Dead Simple LLM Abliteration
  ☆241Updated 9 months ago
• AugmendTech / treeseg
  Hierarchical topic segmentation of meeting transcripts using embeddings and divisive clustering.
  ☆54Updated 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…
  ☆226Updated 3 months ago
• moonshine-ai / qc_npu_benchmark
  Code sample showing how to run and benchmark models on Qualcomm's Window PCs
  ☆103Updated last year