| agentcourt.ai
↗ |
200 |
Agent Court |
en |
legal-services-industry |
robotsllmsaihumans |
emailphone |
none |
| arthurmerlean.com
↗ |
200 |
MerLean — AI-assisted Lean formalization and theorem proving |
en |
artificial-intelligence |
robotsllmsaihumans |
emailphone |
none |
| atlasprojectlandingpage.com
↗ |
200 |
ATLAS Project |
es |
artificial-intelligence |
robotsllmsaihumans |
emailphone |
none |
| awkronos.com
↗ |
200 |
Awkronos — Verified Mathematical Software |
en |
software-and-applications |
robotsllmsaihumans |
emailphone |
none |
| beaumccartney.com
↗ |
200 |
Beau McCartney |
en |
programming-languages |
robotsllmsaihumans |
emailphone |
none |
| convergentresearch.org
↗ |
200 |
Convergent Research |
en |
startupsSanity |
robotsllmsaihumans |
emailphone |
none |
| cslib.io
↗ |
200 |
A Focused Effort on Formalizing Computer Science in Lean |
en |
technology-and-computing |
robotsllmsaihumans |
emailphone |
none |
| dandu.dev
↗ |
200 |
Arnav Dandu |
en |
|
robotsllmsaihumans |
emailphone |
none |
| davidchristiansen.dk
↗ |
200 |
David Thrane Christiansen |
Denmark da |
programming-languages |
robotsllmsaihumans |
emailphone |
none |
| ducthan.net
↗ |
200 |
Duc-Than Nguyen @ UIC |
en |
programming-languages |
robotsllmsaihumans |
emailphone |
none |
| everydayimshuflin.com
↗ |
200 |
Greg Shuflin — Software Developer |
en |
programming-languages |
robotsllmsaihumans |
emailphone |
none |
| florisvandoorn.com
↗ |
200 |
Floris van Doorn's Home Page |
en |
scienceWordPress |
robotsllmsaihumans |
emailphone |
none |
| ilyasergey.net
↗ |
200 |
Ilya Sergey |
|
programming-languages |
robotsllmsaihumans |
emailphone |
none |
| jessealama.net
↗ |
200 |
Jesse Alama—Racket & JavaScript, HTML, semantic web, math |
Germany~ en |
programming-languages |
robotsllmsaihumans |
emailphone |
none |
| jiangdongwei.com
↗ |
200 |
Dongwei Jiang |
en |
artificial-intelligenceSpree Commerce |
robotsllmsaihumans |
emailphone |
none |
| joachim-breitner.de
↗ |
200 |
Joachim Breitner – Joachim Breitner's Homepage |
Germany de |
programming-languages |
robotsllmsaihumans |
emailphone |
none |
| jonasbayer.de
↗ |
200 |
Jonas Bayer |
Germany de |
artificial-intelligence |
robotsllmsaihumans |
emailphone |
none |
| jonmsterling.com
↗ |
200 |
Jon Sterling |
en |
programming-languages |
robotsllmsaihumans |
emailphone |
none |
| josephmckinsey.com
↗ |
200 |
Random Ramblings |
en |
programming-languages |
robotsllmsaihumans |
emailphone |
none |
| josephrotella.com
↗ |
200 |
Joseph Rotella |
en |
programming-languages |
robotsllmsaihumans |
emailphone |
none |
| juliahimmel.de
↗ |
200 |
Julia Markus Himmel |
Germany de |
programming-languages |
robotsllmsaihumans |
emailphone |
none |
| lean-fro.org
↗ |
200 |
FRO — Lean Lang |
en |
programming-languages |
robotsllmsaihumans |
emailphone |
none |
| lean4.dev
↗ |
200 |
Lean 4 - Learn Functional Programming & Theorem Proving | lean4.dev |
en |
programming-languages |
robotsllmsaihumans |
emailphone |
none |
| leaning.in
↗ |
200 |
Leaning In! 2026 |
India en |
programming-languages |
robotsllmsaihumans |
emailphone |
none |
| leanlang.org
↗ |
200 |
Lean Programming Language |
en |
programming-languages |
robotsllmsaihumans |
emailphone |
none |
| leanmachinelearning.org
↗ |
200 |
Lean Machine Learning |
en |
artificial-intelligence |
robotsllmsaihumans |
emailphone |
none |
| lojune.net
↗ |
200 |
june lo |
en |
physics |
robotsllmsaihumans |
emailphone |
partial · 8 |
| markushimmel.de
↗ |
200 |
Julia Markus Himmel |
Germany de |
programming-languages |
robotsllmsaihumans |
emailphone |
none |
| mathlib-initiative.org
↗ |
200 |
Mathlib Initiative |
en |
education |
robotsllmsaihumans |
emailphone |
none |
| matthewrobertballard.com
↗ |
200 |
Matthew R. Ballard |
en |
physics |
robotsllmsaihumans |
emailphone |
none |
| mattsuperdock.com
↗ |
200 |
Matt Superdock |
en |
|
robotsllmsaihumans |
emailphone |
none |
| mogielnicki.com
↗ |
200 |
Michał Mogielnicki |
en |
physics |
robotsllmsaihumans |
emailphone |
none |
| nullri.ch
↗ |
200 |
About me - Sebastian Ullrich |
Switzerland en |
programming-languages |
robotsllmsaihumans |
emailphone |
none |
| oach.im
↗ |
200 |
Joachim Breitner – Joachim Breitner's Homepage |
en |
programming-languages |
robotsllmsaihumans |
emailphone |
none |
| paulorauber.com
↗ |
200 |
Paulo Rauber |
en |
artificial-intelligence |
robotsllmsaihumans |
emailphone |
none |
| planetillumos.org
↗ |
200 |
Planet illumos |
en |
technology-and-computing |
robotsllmsaihumans |
emailphone |
none |
| proofsandintuitions.net
↗ |
200 |
Proofs and Intuitions |
en |
technology-and-computing |
robotsllmsaihumans |
emailphone |
none |
| qinziyang.com
↗ |
200 |
Ziyang Qin |
en |
science |
robotsllmsaihumans |
emailphone |
none |
| samuelschlesinger.com
↗ |
200 |
Sam Schlesinger |
en |
technology-and-computing |
robotsllmsaihumans |
emailphone |
none |
| sayantankhan.io
↗ |
200 |
About me - Sayantan Khan's website |
en |
artificial-intelligence |
robotsllmsaihumans |
emailphone |
none |
| scholzhannah.de
↗ |
200 |
Hannahs Personal Site |
Germany de |
education |
robotsllmsaihumans |
emailphone |
none |
| scilibai.ru
↗ |
200 |
SciLib · Лаборатория семантического анализа научных данных |
Russia ru |
science |
robotsllmsaihumans |
emailphone |
none |
| sele4n.org
↗ |
200 |
seLe4n — A Microkernel Written in Lean 4 |
en |
technology-and-computing |
robotsllmsaihumans |
emailphone |
none |
| skandermoalla.com
↗ |
200 |
Skander Moalla |
en |
artificial-intelligence |
robotsllmsaihumans |
emailphone |
none |
| stefanesco.com
↗ |
200 |
Léo Stefanesco |
en |
programming-languages |
robotsllmsaihumans |
emailphone |
none |
| suburbanlion.com
↗ |
200 |
Suburban Lion's Blog – my unadulterated thoughts on everything |
en |
software-and-applicationsWordPress |
robotsllmsaihumans |
emailphone |
none |
| verifiedsoftware.dev
↗ |
200 |
Verified Software — When AI Writes the World's Code, Who Checks the Math? |
en |
artificial-intelligence |
robotsllmsaihumans |
emailphone |
partial · 8 |
| willcrichton.net
↗ |
200 |
Will Crichton |
en |
programming-languages |
robotsllmsaihumans |
emailphone |
none |