programming-journal / programmingLinks
☆21Updated last year
Alternatives and similar repositories for programming
Users that are interested in programming are comparing it to the libraries listed below
Sorting:
- Bachelor's thesis 2019☆12Updated 2 years ago
- a compiler from a lambda language to an assembly language, as a rewrite system☆16Updated 4 months ago
- Hoare Type Theory☆84Updated 7 months ago
- Lem semantic definition language☆150Updated 10 months ago
- Lecture material for DeepSpec Summer School 2018☆68Updated 7 years ago
- ☆56Updated this week
- Generate parsers from tree-sitter grammars extended to support Semgrep patterns☆13Updated this week
- Preprocessor / Pretty Printer for OCaml☆76Updated 3 months ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2021☆18Updated 4 years ago
- A symbolic analyser for shell scripts.☆22Updated 4 years ago
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 4 years ago
- Fully verified model checker for realtime systems☆17Updated 3 years ago
- Coq library for verified low-level programming☆61Updated 8 years ago
- Theory Exploration for Isabelle using HipSpec☆20Updated last year
- Build an educational formally verified version of the Nand 2 Tetris course using Coq (and other formal tools).☆58Updated 4 years ago
- Formalizations of Gradually Typed Languages in Agda☆59Updated last month
- A compiler from WebAssembly to native code, via the OCaml backend.☆92Updated 7 years ago
- We define a simple programming language, simp_lang, then instantiate Iris to verify simple simp_lang programs with concurrent separation …☆58Updated 7 months ago
- A framework for implementing and certifying impure computations in Coq☆53Updated 2 years ago
- A mechanisation of Wasm in Coq(Rocq)☆114Updated 3 weeks ago
- Incremental Program Analysis Framework☆94Updated 4 years ago
- An ICE-based predicate synthesizer for Horn clauses.☆53Updated 3 months ago
- Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction☆88Updated 4 months ago
- The Cubicle model checker☆14Updated 3 weeks ago
- Repository containing slides and examples from the 2020 OCaml Workshop talk on "Parallelising your OCaml code with Multicore OCaml"☆29Updated 2 years ago
- OCaml bindings for RE2☆48Updated 3 weeks ago
- An encyclopedia of proofs☆64Updated last year
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc☆104Updated 8 months ago
- Coq library for tactics, basic definitions, sets, maps☆51Updated last week
- Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]☆47Updated 9 months ago