Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and their application in some most active computer Science fields.
☆68Aug 17, 2019Updated 7 years ago
Alternatives and similar repositories for plt-formal-methods-resources
Users that are interested in plt-formal-methods-resources are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Here we collect worldwide courses teaching formal methods☆50Jul 5, 2019Updated 7 years ago
- A curated set of links to formal methods involving provable code.☆225Dec 12, 2021Updated 4 years ago
- Automated Controller Synthesis☆15Jun 27, 2018Updated 8 years ago
- The opensmt solver☆95Updated this week
- Lenses in Coq☆17Oct 7, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- The ADUni course material, and extra info.☆15Sep 17, 2011Updated 14 years ago
- Neural Network Verification Software Tool https://www.verivital.com Documentation:☆146Jun 30, 2026Updated 2 months ago
- A parser based on the ALL(*) algorithm, implemented and verified in Coq.☆15Feb 14, 2023Updated 3 years ago
- 闪狐云机场 FlashFox - 官方网站发布页☆23Updated this week
- Based on paper by Greg Morrisett , TAL-0 is the design of a RISC-style typed assembly language which focuses on control-flow safety.☆23Dec 14, 2016Updated 9 years ago
- Books on programming language theory and linguistics in general.☆56Jul 16, 2021Updated 5 years ago
- VerifAI is a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learnin…☆219Jul 5, 2026Updated last month
- ☆42Nov 2, 2018Updated 7 years ago
- Automated Analysis Framework for Simulink/Stateflow☆14Jul 25, 2023Updated 3 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.
- An on-chain Turing machine library and interpreter for the NEO VM, i.e. the first universal dApp.☆14Aug 31, 2018Updated 7 years ago
- Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting☆28Updated this week
- Libra is a static analyzer for certifying fairness of feed-forward neural network classifiers of tabular data.☆24Oct 31, 2021Updated 4 years ago
- Discussion Seminar: Philosophy of Programming Lanugages☆15Jul 20, 2014Updated 12 years ago
- Simple example of video stitching using opencv sticher module☆21Apr 1, 2018Updated 8 years ago
- ☆234Jul 30, 2024Updated 2 years ago
- ☆15Apr 26, 2021Updated 5 years ago
- A Small Quantum Intermediate Representation☆100Apr 2, 2026Updated 4 months ago
- ☆15Nov 9, 2024Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Verified Software Toolchain☆507Updated this week
- The Princess Theorem Prover☆37Aug 21, 2026Updated last week
- An effect system similar to mtl with explicit dictionary passing.☆17Oct 3, 2018Updated 7 years ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆51Jul 1, 2021Updated 5 years ago
- Alternative implementation of the logical framework Dedukti in Rust☆23Apr 10, 2025Updated last year
- Data Docs is a platform for building interactive web videos that seamlessly integrate links, dynamic text and data into a web video exper…☆16May 5, 2018Updated 8 years ago
- An interactive development environment for SMT-LIB files and Z3☆24Aug 16, 2022Updated 4 years ago
- Libraries useful for Dafny programs☆49Aug 19, 2025Updated last year
- Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization☆37May 18, 2026Updated 3 months 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.
- Reproduction Code for FSE Paper "DeepSearch: A Simple and Effective Blackbox Attack for Deep Neural Networks"☆13Aug 27, 2020Updated 6 years ago
- Ring, field, lra, nra, and psatz tactics for Mathematical Components☆38Apr 3, 2026Updated 4 months ago
- A model checker and assume/guarantee contract generator for Lustre programs.☆15Jun 5, 2018Updated 8 years ago
- Coq formalizations and proofs of (data) structures and algorithms.☆48May 13, 2018Updated 8 years ago
- Semantic Type Soundness in Lean 4☆18Jul 28, 2026Updated last month
- Class instances for Coq inductive types with little boilerplate☆27Jul 29, 2026Updated last month
- A Compiler and Type Inference System for a subset of Standard ML called Small.☆14May 19, 2017Updated 9 years ago