Literate Programming www-cs-faculty.stanford.edu ↗

Recommended in 0 threads

Similar tools

• 
  Metamath ↗Dev tools

  A minimal formal proof language and database of formalized mathematics.

  1 thread
• 
  libgit2 ↗Dev tools

  A portable C library implementing Git core methods.

  1 thread
• 
  Obtainium ↗Dev tools

  An Android app that installs and updates apps directly from their release sources.

  0 threads
• 
  Aeneas ↗Dev tools

  A toolchain that translates safe Rust programs into proof assistants like Lean for verification.

  1 thread
• 
  Printing Press ↗Dev tools

  An open source tool that has a coding agent generate CLIs for websites and their backends.

  1 thread
• 
  Alloy ↗Dev tools

  A lightweight formal modeling language and analyzer for software designs.

  1 thread
• 
  Lean ↗Languages & runtimes

  An interactive theorem prover and programming language used to formalize mathematical proofs.

  12 threads
• 
  Architecture Decision Records ↗Dev tools

  A practice of documenting significant architectural decisions and their rationale.

  1 thread

Also in Dev tools

• 
  Pi ↗

  An extensible terminal coding agent that can switch between models.

  11 threads
• 
  Forgejo ↗

  A self-hostable community-driven software forge.

  9 threads
• 
  OpenCode ↗

  An open-source terminal coding agent harness.

  9 threads
• 
  herdr ↗

  A tool to run multiple agents on one project in separate git worktrees.

  6 threads
• 
  Claude Code ↗

  Anthropic's terminal-based coding agent harness.

  5 threads
• 
  F-Droid ↗

  An app store distributing free and open-source Android apps.

  4 threads
• 
  Radicle ↗

  A peer-to-peer code collaboration stack built on Git.

  4 threads
• 
  Aurora Store ↗

  An open-source alternative client for downloading apps from Google Play.

  3 threads
• 
  Flux ↗

  A refinement type checker for Rust.

  3 threads
• 
  GitLab ↗

  A Git hosting and DevOps platform with an open-source community edition.

  3 threads
• 
  Gitea ↗

  A lightweight self-hosted Git service.

  3 threads
• 
  Jujutsu ↗

  A version control system that can use git as a storage backend.

  3 threads