BitsExplorer

BitsExplorer finds what people are building with AI, every day. See today's picks →

Preview of Type Theory And Formal Proof UA Github Io

Type Theory And Formal Proof UA Github Io

Ukrainian This item is in Ukrainian.

Українські переклади книжок з теорії типів, формальних доведень та програмування.

Description read from the page itself, because the listing it was found in gave none.

Open it Source code
Open in English

The English version is the original site passed through Google Translate. Nothing is translated or stored here.

More built with Claude Code

Open Pocket Ws

WonderSwan / WonderSwan Color on the Sipeed Tang Nano 20K: compact V30MZ CPU from s80x86, HDMI, Pocket-style menu. Open-source FPGA toolchain only.

8m ago Claude Code

Orvyn

Give an idea a mind. Launchpad for AI agent coins on Robinhood Chain: one sentence becomes an agent with a face, a voice and a coin on Pons; its maker earns 0.5% of every trade, split by a verified contract.

8m ago Claude Code

Today's picks

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.

3h ago tool unknown

CashStash by caprocket

A fast-paced web card game of asset stacking, high-stakes stealing, and game theory AI.

8h ago tool unknown

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.

1h ago Claude Code

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