Stars
A verifier for automated and interactive proofs about transition systems. This repository is a public mirror with stable development snapshots. Submit issues and PRs here.
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.
kenmcmil / ivy
Forked from microsoft/ivyIVy 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…
Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.
Autoware - the world's leading open-source software project for autonomous driving
A friendly programming language from the future
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.
A framework for formally verifying distributed systems implementations in Coq
open source training courses about distributed database and distributed systems