wrrnhttn

wrrnhttn's Stars

• mroughan/SurrealNumbers.jl

  Implementation of Conway's Surreal Numbers

  Language:Julia386

• peawormsworth/PySurreal

  Surreal Numbers - Python

  Language:Jupyter Notebook41

• ToposInstitute/polytt

  A type theory with native support for Polynomial Functors.

  Language:OCaml383

• inQWIRE/ViCAR

  Category Theory in Coq

  Language:Coq3

• inQWIRE/QuantumLib

  Coq library for reasoning about quantum programs

  Language:Coq3210

• langston-barrett/reed-thesis

  My undergradate thesis on coinductive types in univalent type theory

  Language:TeX17

• coq/coq

  Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

  Language:OCaml4.8k646

• nathancarter/group-explorer

  Group theory visualization software in the browser

  Language:JavaScript22626

• forked-from-1kasper/ground_zero

  Ground Zero: Lean 4 HoTT Library

  Language:Lean431

• colinhacks/zod

  TypeScript-first schema validation with static type inference

  Language:TypeScript33.6k1.2k

• awswan/oraclemodality

  Language:Agda12

• coq-community/gaia

  Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]

  Language:Coq287

• banacorn/agda-mode-vscode

  agda-mode on VS Code

  Language:ReScript17041

• martinescardo/HoTTEST-Summer-School

  HoTTEST Summer School materials

  Language:TeX28768

• QuState/spinoza

  A High Performance Quantum State Simulator implemented in pure Rust

  Language:Rust599

• coq/platform-docs

  A project of short tutorials and how-to guides for Coq features and Coq Platform packages.

  Language:Coq189

• EagleoutIce/tikzpingus

  🐧 Penguins in LaTeX with TikZ

  Language:TeX615

• samcarter/tikzducks

  A latex package to draw cute rubber ducks with TikZ

  Language:TeX16713

• gregorio-project/gregorio

  The Gregorio Project

  Language:C16443

• formal-land/coq-of-rust

  Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦

  Language:Coq41114

• mikeshulman/narya

  A proof assistant for higher-dimensional type theory

  Language:OCaml1418

• ImperialCollegeLondon/FLT

  Ongoing Lean formalisation of the proof of Fermat's Last Theorem

  Language:Lean23442

• cetz-package/cetz

  CeTZ: ein Typst Zeichenpaket - A library for drawing stuff with Typst.

  Language:Typst87235

• PatrickMassot/leanblueprint

  plasTeX plugin to build formalization blueprints.

  Language:Python16025

• leanprover-community/con-nf

  A formal consistency proof of Quine's set theory New Foundations

  Language:Lean665

• 3b1b/manim

  Animation engine for explanatory math videos

  Language:Python68.3k6.1k

• vasturiano/d3-force-3d

  Force-directed graph layout in 1D, 2D or 3D using velocity Verlet integration.

  Language:JavaScript37253

• egh/zotxt

  zotxt: a Zotero extension for text

  Language:Ruby32116

• leanprover-community/lean-liquid

  💧 Liquid Tensor Experiment

  Language:Lean17615

• source-academy/frontend

  Frontend of Source Academy, an online experiential environment for computational thinking (React, Redux, Saga, Blueprint)

  Language:TypeScript103168