五十嵐淳『プログラミング言語の基礎概念』の Coq による実装
☆11Oct 24, 2015Updated 10 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
- Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]☆12Aug 11, 2024Updated 2 years ago
- Simple lenses, minimum dependencies☆14Nov 12, 2023Updated 2 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.
- ☆13Jul 31, 2016Updated 10 years ago
- Pi-calculus in Coq☆12Oct 18, 2020Updated 6 years ago
- A Formal Verification of Algorithm W☆17Mar 10, 2021Updated 5 years ago
- The support repository for the textbook "Compilers: Principles and Structures" (in Japanese)☆21Dec 12, 2021Updated 4 years ago
- C++ source code for ECHONET Lite implementation☆13Feb 5, 2024Updated 2 years ago
- ☆11Jun 11, 2019Updated 7 years ago
- Weighted multiple-instance learning algorithm☆18Oct 9, 2018Updated 8 years ago
- Coqで様々な数学の定理を証明☆18Nov 13, 2022Updated 3 years ago
- KLIC: Portable implementation of KL1. Forked from "https://www.ueda.info.waseda.ac.jp/software-j.html"☆19Oct 27, 2023Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 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
- ☆16Nov 19, 2025Updated 11 months ago
- Some programs from Rustan Leino's "Program Proofs", in Why3.☆17Mar 13, 2023Updated 3 years ago
- Create a Debianization by examining a .cabal file.☆16Aug 3, 2020Updated 6 years ago
- Certified Programming with Dependent Types (Japanese Translation)☆15Jan 14, 2021Updated 5 years ago
- (Unofficial) Japanese translation of Dfinity documentation : (非公式) Dfinity ドキュメントの日本語翻訳☆13Oct 6, 2022Updated 4 years ago
- ☆43Feb 21, 2020Updated 6 years ago
- A Haskell based awk and sed alternative☆67Dec 3, 2017Updated 8 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.
- Persistent adapter for Haskell Relational Record☆20Mar 30, 2023Updated 3 years ago
- ODBC driver for HDBC☆26Dec 5, 2024Updated last year
- A compiler for Coq☆26Feb 22, 2013Updated 13 years ago
- Modal Logic Library in Coq☆16Apr 28, 2022Updated 4 years ago
- OpenID Connect 1.0 client (RP) library for Haskell☆27Jul 29, 2024Updated 2 years ago
- Formally verified Coq serialization library with support for extraction to OCaml☆24Oct 22, 2023Updated 3 years ago
- Formalization of Axiomatic Set Theory in Coq☆20Oct 29, 2019Updated 6 years ago
- Linear Temporal Logic☆23Jan 9, 2024Updated 2 years ago
- Happy Haskell Programming☆67Sep 6, 2026Updated last month
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Coq Code☆17Updated this week
- A reflection-based proof tactic for lattices in Coq☆21Mar 17, 2026Updated 7 months ago
- Deposit smart contract in Dafny☆24Sep 9, 2021Updated 5 years ago
- Highly customizable, polymorphic static site generator library, written in Rust☆14Nov 26, 2024Updated last year
- Seamless vim register manipulation in :terminal buffer via terminal-api☆11Mar 16, 2020Updated 6 years ago
- A plugin for GHC to support super monads.☆26Oct 31, 2018Updated 7 years ago
- SML# compiler☆249Dec 8, 2025Updated 10 months ago