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 / grassmann_article
  ☆51Updated 11 months ago
• tekknolagi / db.py
  ☆22Updated 8 months ago
• JosephSBoyle / skip_gram
  This is a numpy implementation of the Skip-gram algorithm described in Mikolov et al's Word2Vec paper. It is intended for didactic purpos…
  ☆36Updated 2 years ago
• DarkStar1982 / Orbidium
  ☆97Updated 7 months ago
• brianmg / voynich-nlp-analysis
  ☆121Updated last week
• ndrwnaguib / principia
  Rewriting Principia Mathematica in Lean
  ☆128Updated 6 months ago
• Dicklesworthstone / bakery_algorithm
  Lamport's Bakery Algorithm Demonstrated in Python
  ☆97Updated last year
• Taiters / sudoku-solver
  A visual sudoku solver which runs in the web browser. Built using OpenCV and Tensorflow to identify the sudoku grid, recognise digits, an…
  ☆56Updated 9 months ago
• meelgroup / pepin
  A probabilistic approximate DNF counter
  ☆37Updated this week
• Avicted / galaxy_visualization_raylib
  100k real ( +100k random ) galaxies from a sector. Visualized with Raylib.
  ☆87Updated 2 months ago
• vagos / llm-interpolate
  Interpolate between embedding points with llm
  ☆37Updated 10 months ago
• mikepapadim / llama-shepherd-cli
  A CLI to manage install and configure llama inference implemenation in multiple languages
  ☆66Updated last year
• rodlaf / BinaryGPUIndex
  A GPU Accelerated Binary Vector Store
  ☆47Updated 3 months ago
• rayking99 / BlockStar
  A star for organising blocks and playing with transformers.
  ☆23Updated last year
• BobMcDear / trap
  Autoregressive transformers in APL
  ☆100Updated 3 weeks ago
• gvelesandro / constructor-theory-simulator
  ☆65Updated this week
• andyk / recursive_llm
  Implement recursion using English as the programming language and an LLM as the runtime.
  ☆235Updated 2 years ago
• Dicklesworthstone / introduction_to_temporal_logic
  An introduction to temporal logic and how it can be used to analyze concurrency
  ☆105Updated last year
• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆62Updated 3 months ago
• pladams9 / hexsheets
  A basic spreadsheet application with hexagonal cells inspired by: http://www.secretgeek.net/hexcel.
  ☆91Updated last year
• ClemHeyd / PCR7500
  Craziness.
  ☆29Updated 3 months ago
• davvid / gcd
  Git worktree navigator
  ☆29Updated last year
• Dicklesworthstone / visual_astar_python
  Generate Cool-Looking Mazes and Animations Illustrating the A* Pathfinding Algorithm
  ☆177Updated 3 months ago
• dmytrobaida / recursion-viewer
  Website and VS Code extension for visualizing recursive functions. Helps to debug and understand how your recursive algorithm works
  ☆36Updated last year
• Hafthor / zsvutil
  ZSV Utility for converting json to/from zip-separated-values
  ☆56Updated last year
• madprops / blog
  I might write stuff here sometimes
  ☆110Updated 3 months ago
• bxptr / cerebrum
  Biologically Plausible Neural Networks for Simulating Brain Dynamics and Inferring Connectivity
  ☆28Updated 5 months ago
• planetlambert / turing
  A reference implementation of Alan Turing's 1936 paper, On Computable Numbers
  ☆45Updated 11 months ago
• mathlingua / mathlingua
  Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…
  ☆69Updated 3 months ago
• kelas / ooj
  the origins of J
  ☆62Updated last year