taichimaeda
Follow
Stars
A project to map out the relations between different equational theories of Magmas.
A selection of textbook-like course notes for the Imperial College Computing modules.
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
Imperial College London lecture notes for Geometry, Algebra, and Number Theory
Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs!
DCupello1 / spectec
Forked from Wasm-DSL/spectecWasm SpecTec specification tools
Specification of the Cypher property graph query language
A community fork of a language named after a plant fungus. All of the memory-safe features you love, now with 100% less bureaucracy!
A cross-platform, OpenGL terminal emulator.
Tiny TCP/IP protocol stack for lectures implemented in Go language
An implementation of a small TCP/IP protocol stack for learning.
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 develo…
Agda is a dependently typed programming language / interactive theorem prover.
Lean 4 programming language and theorem prover
This repository contains several tools to perform Cache Template Attacks
libSQL is a fork of SQLite that is both Open Source, and Open Contributions.
🎓 Path to a free self-taught education in Computer Science!
Emscripten: An LLVM-to-WebAssembly Compiler
Powerful system container and virtual machine manager
Distributed transactional key-value database, originally created to complement TiDB
CockroachDB — the cloud native, distributed SQL database designed for high availability, effortless scale, and control over data placement.
YugabyteDB - the cloud native distributed SQL database for mission-critical applications.