Take-home pay calculator
Compare take-home pay for PAYE, inside IR35 and outside IR35 (England, 2026/27)
BitsExplorer finds what people are building with AI, every day. See today's picks →
Lean To Dot Net
Prove a function in Lean 4, call it from C#. lean2il re-checks every proof with Tenet, an independent Lean kernel, compiles the kernel terms to .NET IL, and writes the docs from the Lean. With a VS Code extension.
Description excerpted from the original listing, which is linked below.
Htl Manure Lca
Master thesis: Aspen Plus process model, life cycle inventory and LCA of biocrude from cattle manure via hydrothermal liquefaction in Germany (TU Bergakademie Freiberg, 2022)
Orcaslicer Android
The real OrcaSlicer on Android: the same slicing engine and the same interface, ported to phones and tablets (unofficial)
Autobiz Uploader
Home page and privacy policy for Autobiz Uploader
FLOORED (BETA) — 首都高 Night Drive
Night driving through a procedurally generated Japanese town and its elevated expressway. Sim-grade tire physics, dense AI traffic, rain, neon.
Klarbase — tiny isles, clever paths
A cozy puzzle game of floating isles. Play 24 hand-made isles, build your own, and share them.
Snake: Gridbreaker on Steam
There is no tutorial. And there won't be. I believe in you. I couldn't escape the Grid. Maybe you can. You are snake who eats apples. j/k You want to escape the grid loop. BUT the LOOP wants to keep You in.
DeDT Platform
Open-source code of the DeDT project: a blockchain-powered decentralized Digital Twins platform (DAO collaboration, big data flows, IP-NFT fundraising, trustworthy predictive analytics). MSCA Fellowship, Masaryk University.
The week in AI-built software
Every Monday: how many projects were built with AI that week, which tools built them, where they came from, and the week's picks.
Read the latest week