A formalization of Shannon's seminal 1948 paper defining entropy.
☆17Mar 2, 2026Updated 7 months ago
Alternatives and similar repositories for shannon-1948-formalization
Users that are interested in shannon-1948-formalization are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Development monorepo for Hex: verified computational algebra in Lean 4 (polynomial factoring, LLL, and friends). Released aggregate: http…☆22Updated this week
- An OCurrent pipeline for testing submissions to opam-repository☆24Oct 13, 2026Updated last week
- Synthesis of Formally Verified Cryptographic Primitives☆18Sep 17, 2026Updated last month
- ☆17Apr 15, 2025Updated last year
- A mutual induction tactic for Lean 4.☆33Sep 17, 2026Updated last month
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Write Python modules in Lean! (WIP)☆16Oct 10, 2026Updated 2 weeks ago
- work in progress book on Scientific Computing in Lean☆14Mar 1, 2025Updated last year
- A simple package to format Backus-Naur form☆18May 24, 2026Updated 5 months ago
- Lean formalization of selected lemmas from "Term Rewriting and All That"☆18Apr 20, 2026Updated 6 months ago
- Topos theory in Lean 4☆18Feb 10, 2025Updated last year
- Build structured Proof Blueprints with Verso☆35Updated this week
- linear algebra done right in coq☆11Apr 6, 2021Updated 5 years ago
- Automata theory in Lean☆24Mar 25, 2026Updated 7 months ago
- Template for a (PhD) thesis☆13Nov 5, 2025Updated 11 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Some examples of Lean projects, for undergraduate mathematicians.☆23Jun 7, 2021Updated 5 years ago
- ☆17Sep 2, 2025Updated last year
- A Pacman implementation in Rocq, extracted to C++ via Crane.☆20Sep 10, 2026Updated last month
- haha I'm graduating☆14Jul 22, 2021Updated 5 years ago
- A personal API☆18Dec 3, 2022Updated 3 years ago
- The Lean Computer Science Library (CSLib)☆777Updated this week
- Denotational Semantics of the Untyped Lambda Calculus☆17Feb 5, 2025Updated last year
- Automatically generates Coq FFI bindings to OCaml libraries [maintainer=@lthms]☆38Apr 27, 2023Updated 3 years ago
- A LaTeX template for Bachelor or Master theses☆12Jun 10, 2022Updated 4 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆10Jan 4, 2022Updated 4 years ago
- 🇰🇷 쉬운 전문용어 (Easy Korean Translations of CS Jargons)☆41Jun 21, 2026Updated 4 months ago
- ☆11May 8, 2019Updated 7 years ago
- 📚 (WIP) Rewriting Software Foundations in Lean 4☆35Aug 4, 2026Updated 2 months ago
- Source code for the Mathematics in Lean tutorial.☆220Oct 12, 2026Updated last week
- Development tools for https://github.com/leanprover-community/mathlib☆34Aug 29, 2023Updated 3 years ago
- Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.☆33Feb 22, 2021Updated 5 years ago
- rust binding for lean4☆11Jul 1, 2023Updated 3 years ago
- ☆34Jun 15, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ⚛ React-tRace is a React Hooks interpreter and a visualizer based on a formal semantics☆39Jun 5, 2026Updated 4 months ago
- My solutions to exercises in "Logical Foundations" (2018-2019)☆12Apr 11, 2019Updated 7 years ago
- A Python interpreter for APL based off of the LSBASI series.☆19Apr 4, 2021Updated 5 years ago
- LeanEff is a small Lean 4 extensible-effects library☆22Oct 13, 2026Updated last week
- ☆15Sep 12, 2022Updated 4 years ago
- ☆20Aug 30, 2022Updated 4 years ago
- Lean4 Tutorial/Notes on creating FFI bindings with GLFW as an example.☆43Aug 25, 2025Updated last year