五十嵐淳『プログラミング言語の基礎概念』の Coq による実装
☆11Oct 24, 2015Updated 11 years ago
Alternatives and similar repositories for concepts-of-proglangs
Users that are interested in concepts-of-proglangs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- any docs☆17Jan 1, 2020Updated 6 years ago
- C90で頒布した "Plan 9 Assembler Handbook" の文章データ☆11Aug 14, 2016Updated 10 years ago
- 書籍「作ろう！CPU」のサンプルコード☆11Jan 23, 2021Updated 5 years ago
- Simple lenses, minimum dependencies☆14Nov 12, 2023Updated 3 years ago
- ☆13Jul 31, 2016Updated 10 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]☆13Aug 11, 2024Updated 2 years ago
- Lean4 formalization of "A Simplified Round-by-round Soundness Proof of FRI"☆11Apr 1, 2026Updated 7 months ago
- Pi-calculus in Coq☆12Oct 18, 2020Updated 6 years ago
- ☆11Jun 11, 2019Updated 7 years ago
- The support repository for the textbook "Compilers: Principles and Structures" (in Japanese)☆21Dec 12, 2021Updated 4 years ago
- Formal Verification of Top Single Layer Encoding☆11Dec 6, 2025Updated 11 months ago
- C++ source code for ECHONET Lite implementation☆13Feb 5, 2024Updated 2 years ago
- Weighted multiple-instance learning algorithm☆18Oct 9, 2018Updated 8 years ago
- A Formal Verification of Algorithm W☆17Mar 10, 2021Updated 5 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Coqで様々な数学の定理を証明☆18Nov 13, 2022Updated 3 years ago
- Formal Verification for Ethereum☆11Oct 29, 2026Updated 2 weeks ago
- Prolog and Java version of Facebook's React concept☆15Mar 23, 2021Updated 5 years ago
- KLIC: Portable implementation of KL1. Forked from "https://www.ueda.info.waseda.ac.jp/software-j.html"☆19Oct 27, 2023Updated 3 years ago
- A formal specification of the Yul IR semantics in the Lean proof assistant.☆15Jun 20, 2025Updated last year
- Finite Fields and Curves in Lean☆14Apr 6, 2023Updated 3 years ago
- Formal verification of the Intmax protocol in Lean.☆11Jun 20, 2025Updated last year
- A microkernel for ESP32 targeting TTGO T-Watch-2020-V2☆18Aug 20, 2022Updated 4 years ago
- Create a Debianization by examining a .cabal file.☆16Aug 3, 2020Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆16Nov 19, 2025Updated 11 months ago
- The Provable Consensus Client — a formally verified Ethereum consensus client built with Lean 4.☆17Oct 29, 2026Updated 2 weeks ago
- Certified Programming with Dependent Types (Japanese Translation)☆15Jan 14, 2021Updated 5 years ago
- Some programs from Rustan Leino's "Program Proofs", in Why3.☆17Mar 13, 2023Updated 3 years ago
- (Unofficial) Japanese translation of Dfinity documentation : (非公式) Dfinity ドキュメントの日本語翻訳☆13Oct 6, 2022Updated 4 years ago
- A Haskell based awk and sed alternative☆67Dec 3, 2017Updated 8 years ago
- Persistent adapter for Haskell Relational Record☆20Mar 30, 2023Updated 3 years ago
- OpenID Connect 1.0 client (RP) library for Haskell☆27Jul 29, 2024Updated 2 years ago
- ☆43Feb 21, 2020Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Modal Logic Library in Coq☆16Apr 28, 2022Updated 4 years ago
- Formally verified Coq serialization library with support for extraction to OCaml☆24Oct 22, 2023Updated 3 years ago
- Happy Haskell Programming☆67Sep 6, 2026Updated 2 months ago
- Coq Code☆17Oct 24, 2026Updated 2 weeks ago
- A reflection-based proof tactic for lattices in Coq☆21Mar 17, 2026Updated 7 months ago
- ☆11Mar 7, 2021Updated 5 years ago
- Highly customizable, polymorphic static site generator library, written in Rust☆14Nov 26, 2024Updated last year
Are these results useful?