💫 Toolkit to help you get started with Spec-Driven Development

An open-source AI agent that brings the power of Gemini directly into your terminal.

Language bindings for Maude

A verifier for automated and interactive proofs about transition systems.

pySMT: A library for SMT formulae manipulation and solving

Definitional implementation of Cedar language and utilities for DRT

Formalizing stochastic doubly-efficient debate

Lean 4 programming language and theorem prover

Tool for data extraction and interacting with Lean programmatically.

IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniq…

日本語pLaTeX をVS Code で書くためのテンプレート

K Framework Tools 7.0

RustHorn: A CHC-based automated verifier for Rust

🔮 The application platform for your cyberpunk desk

Open sourced digital twin simulator for Autoware

Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.

rosbag2, python3

Autoware - the world's leading open-source software project for autonomous driving

A Proof-oriented Programming Language

A friendly programming language from the future

A persistent storage engine for Multi-Raft log

AWS Serverless Event-driven Microservices with using AWS Lambda, AWS DynamoDB, AWS API Gateway, AWS EventBridge, AWS SQS, AWS CDK stands for Cloud Development Kit for IaC — Infrastructure as Code t…

Autoware - the world's leading open-source software project for autonomous driving

AI and Machine Learning with Kubeflow, Amazon EKS, and SageMaker

A curl-like CLI application for requesting endpoints protected by AWS Signature Version 4.

Curated list of project-based tutorials

🎓 Path to a free self-taught education in Computer Science!

Materials for the class "Implementation of Programming Languages" in Kyoto University.