Lecture course on verified Functional Data Structures
☆29Jul 23, 2020Updated 5 years ago
Alternatives and similar repositories for fds_ss20
Users that are interested in fds_ss20 are comparing it to the libraries listed below
Sorting:
- ☆13Jul 24, 2021Updated 4 years ago
- Independent vote verification tool for IVXV protocol of Estonian e-voting (2023 and beyond)☆11Nov 5, 2025Updated 4 months ago
- Instances for QuickCheck classes☆17Jan 8, 2026Updated 2 months ago
- IsarMathLib is a library of formalized mathematics for Isabelle/ZF.☆18Mar 1, 2026Updated 2 weeks ago
- Katamaran is a semi-automated separation logic verifier for the Sail specification language. It works on an embedded version of Sail call…☆19Updated this week
- 🧰 Build Gleam code with rebar3☆16Oct 11, 2021Updated 4 years ago
- Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]☆13Oct 31, 2025Updated 4 months ago
- Monoidal map type with support for semigroup and monoid subclasses.☆21Jan 20, 2026Updated 2 months ago
- UCI-compatible chess engine in OCaml.☆14Apr 20, 2025Updated 11 months ago
- Some unstructured notes concerning the Broad tutorial to take place in March 2020☆31Sep 18, 2021Updated 4 years ago
- Rog-O-Matic XIV☆11Sep 30, 2011Updated 14 years ago
- A simplistic, integer-only programming language☆11Jan 4, 2016Updated 10 years ago
- ☆19Aug 23, 2025Updated 6 months ago
- OCS: a mirror of the ocaml OCS scheme interpreter☆12Feb 16, 2017Updated 9 years ago
- Rewriting Proxy for HTML and Javascript. Towards a Self-healing Web.☆13Jul 28, 2020Updated 5 years ago
- A web application server with built-in object capability security built on Node.js/Express☆15Oct 27, 2020Updated 5 years ago
- The simple IRC server written in Rust☆19Sep 20, 2024Updated last year
- A pure-Ruby (pr) library for accessing PostgreSQL databases (MOVED TO CODEBERG)☆43Sep 28, 2020Updated 5 years ago
- Node.js application - simple notes management using Express, Postgres, Objection.js, Docker, Socket.io, Bluebird Promises☆15Feb 10, 2017Updated 9 years ago
- Terminal Emulator written in 100% Haskell☆69Feb 17, 2022Updated 4 years ago
- A tool to create immutable algebraic data structures and visitors for Java (such as abstract syntax trees).☆16Jan 12, 2026Updated 2 months ago
- Apartment management application using nodejs and postgres☆11Jul 12, 2017Updated 8 years ago
- A JavaScript wrapper for Z3 containing support for regular expressions & capture groups☆23Jul 3, 2024Updated last year
- VSCode extension adding BNF and EBNF syntax highlighting☆13Sep 13, 2023Updated 2 years ago
- A WIP compiler for a functional language. Very incomplete!☆16Nov 6, 2021Updated 4 years ago
- IITM Paradigms of Programming -- Monsoon 2025☆18Nov 17, 2025Updated 4 months ago
- Object-Oriented Reengineering Patterns☆38Jun 16, 2023Updated 2 years ago
- C++ foreign export implementations for the standard library☆22Jun 10, 2019Updated 6 years ago
- Rust library for multi-file readahead / dropbehind☆14May 31, 2017Updated 8 years ago
- The ElectionGuard SDK Reference Verifier enables the verification of election ballots, tallies, and proofs generated by the ElectionGuard…☆44Jun 6, 2022Updated 3 years ago
- the very same beer store implemented in various stacks. also, frontends and backends are interchangeable☆16Mar 19, 2023Updated 3 years ago
- An absurdly tiny Lisp interpreter in OCaml☆32Dec 11, 2011Updated 14 years ago
- Type inference implementation in OCaml using Algorithm W☆10Aug 26, 2021Updated 4 years ago
- This repo contains all the code, slides and other reference documents used in community sessions.☆14Mar 29, 2023Updated 2 years ago
- A fast globally unique variable supply with a pure API☆19Jun 26, 2023Updated 2 years ago
- Makes rustc's exhaustiveness checker solve SAT problems☆16Jul 8, 2021Updated 4 years ago
- ☆13Sep 15, 2022Updated 3 years ago
- Handle ASCII text with style and safety☆10Mar 23, 2025Updated 11 months ago
- guardian - the border guardian for your Haskell monorepo package dependencies☆41Sep 1, 2025Updated 6 months ago