jeanqasaur / pltalk
Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur
☆214Updated last year
Related projects ⓘ
Alternatives and complementary repositories for pltalk
- Forge: A Tool and Language for Teaching Formal Methods☆67Updated last week
- ☆222Updated 3 months ago
- An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.☆144Updated 8 months ago
- A mechanisation of Wasm in Coq☆95Updated this week
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆214Updated 5 years ago
- Counterexamples in Type Systems☆373Updated last year
- A compiler for Standard ML, somewhat☆200Updated 2 years ago
- Synthesis of Heap-Manipulating Programs from Separation Logic☆126Updated last year
- Spartan type theory☆254Updated 5 months ago
- Datalog with support for SMT queries and first-order functional programming☆153Updated last week
- Implementation of the λΠ-calculus modulo rewriting☆199Updated this week
- The Ott tool for writing definitions of programming languages and calculi☆347Updated last month
- Learn TLA+ for free! No prior experience necessary!☆198Updated 2 months ago
- Companion files for Logical Verification 2020–2021 at VU Amsterdam☆95Updated 3 years ago
- A compiler for functional programs on serialized data☆157Updated last week
- A comparison of how computational effects and handlers are implemented in various programming languages.☆132Updated 5 years ago
- The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …☆114Updated 2 weeks ago
- A work-in-progress language and compiler for verified low-level programming☆297Updated last month
- Instructions for setting up an OCaml development environment☆96Updated 4 years ago
- The WIP book for CPSC 411☆59Updated last month
- Mystery Languages☆34Updated last year
- A custom parser/auto-formatter for Standard ML☆68Updated 10 months ago
- OCaml version of Category Theory For Programmers☆125Updated 4 years ago
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆205Updated 9 months ago
- Formal verification for OCaml☆255Updated 3 months ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆499Updated 2 months ago
- A script for running TLA+/TLC from the command line☆80Updated 3 years ago
- pfff is mainly an OCaml API to write static analysis, dynamic analysis, code visualizations, code navigations, or style-preserving source…☆185Updated last year
- Frank compiler☆278Updated 6 months ago
- CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory☆217Updated 3 months ago