My solutions to Software Foundations course in Coq proof assistant.
☆44Sep 2, 2025Updated 6 months ago
Alternatives and similar repositories for software_foundations
Users that are interested in software_foundations are comparing it to the libraries listed below
Sorting:
- # A simple variable binding library based on well-scoped indices and environments☆29Oct 15, 2025Updated 4 months ago
- Logical Verification 2022-2023 course at VU Amsterdam☆18Jan 27, 2024Updated 2 years ago
- A minimal language for Isabelle/HOL, designed for easing machine learning.☆25Jan 13, 2026Updated last month
- Write formal proofs in natural language and LaTeX.☆46Dec 18, 2025Updated 2 months ago
- ☆33Jun 15, 2025Updated 8 months ago
- Template for a (PhD) thesis☆11Nov 5, 2025Updated 4 months ago
- Lean type-checker written in Scala.☆41Mar 13, 2022Updated 3 years ago
- A regular expression to SMT-LIB constraint translator☆12Jul 12, 2025Updated 7 months ago
- This script is for photographers to do timeslice with one click.☆13Aug 21, 2022Updated 3 years ago
- My solutions to exercises in "Logical Foundations" (2018-2019)☆11Apr 11, 2019Updated 6 years ago
- A companion to `rules_rust` which provides a much faster reimplementation of `crate_universe` and prevents the need for additional lockfi…☆35Updated this week
- SoftwareFoundations(Ja)☆70Oct 5, 2019Updated 6 years ago
- ☆12Feb 20, 2021Updated 5 years ago
- P4Control: Line-Rate Cross-Host Attack Prevention via In-Network Information Flow Control Enabled by Programmable Switches and eBPF☆11May 20, 2024Updated last year
- Training course repository for Perl☆18Apr 20, 2015Updated 10 years ago
- Simple demos for the exactor library☆10Oct 6, 2013Updated 12 years ago
- The Japanese translation for "The Rust Performance Book"☆10Sep 19, 2022Updated 3 years ago
- Set of additional functionality for structs☆12Feb 13, 2019Updated 7 years ago
- Manage tmux sessions using fzf.☆12Apr 11, 2024Updated last year
- Get random bytes from the TPM (tool + BCrypt RNG provider)☆17Nov 3, 2020Updated 5 years ago
- Learn Erlang through this set of challenges. An interactive system for getting to know Erlang.☆33Apr 13, 2015Updated 10 years ago
- 論文サーベイ用テンプレートと，ナレッジグラフ（知識グラフ）論文のサーベイ結果の共有のためのリポジトリです。Issuesにサーベイ結果をまとめています。☆14Nov 7, 2024Updated last year
- Connection provers in Rust☆14Mar 13, 2024Updated last year
- Yet another haskell term rewriting library☆18Aug 27, 2025Updated 6 months ago
- ☆11May 3, 2020Updated 5 years ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- ☆14Jun 17, 2024Updated last year
- linear algebra done right in coq☆11Apr 6, 2021Updated 4 years ago
- React tutorial app implemented in ClojureScript☆10Jan 6, 2023Updated 3 years ago
- Interesting ATP Proofs☆13Sep 3, 2021Updated 4 years ago
- A Powershell module which can detected encoding automatically☆10Nov 1, 2020Updated 5 years ago
- WebAssembly specification, reference interpreter, and test suite.☆13Aug 31, 2023Updated 2 years ago
- Metamath logic game☆10Apr 16, 2025Updated 10 months ago
- Implementation of Polymorphic Gradual Typing☆12Sep 16, 2018Updated 7 years ago
- Jupyter Notebook-based Application Templates for the NII Gakunin Cloud On-demand Configuration Service (OCS)☆11Dec 23, 2025Updated 2 months ago
- DUQU MALWARE SOURCE + BINARY + More coming☆12Feb 6, 2023Updated 3 years ago
- AutoML Workshop (Azure Machine Learning mainly)☆13Jan 5, 2020Updated 6 years ago
- VKCapture with KMSGrab included☆12Sep 9, 2024Updated last year
- ☆11Oct 23, 2015Updated 10 years ago