nipkow / fds_ss20View external linksLinks
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:
- Instances for QuickCheck classes☆17Jan 8, 2026Updated last month
- ☆13Jul 24, 2021Updated 4 years ago
- Linter component for Isabelle.☆20Dec 20, 2025Updated last month
- Object-Oriented Reengineering Patterns☆37Jun 16, 2023Updated 2 years ago
- Independent vote verification tool for IVXV protocol of Estonian e-voting (2023 and beyond)☆11Nov 5, 2025Updated 3 months ago
- ☆14Jan 11, 2021Updated 5 years ago
- ☆12Jun 18, 2024Updated last year
- An API that wraps webgl and opengl☆11Oct 22, 2017Updated 8 years ago
- A WIP compiler for a functional language. Very incomplete!☆16Nov 6, 2021Updated 4 years ago
- All code and content for my blog.☆15Sep 23, 2018Updated 7 years ago
- Handle ASCII text with style and safety☆10Mar 23, 2025Updated 10 months ago
- Package to Compute VPC Percentiles & Prediction Intervals Developed by Certara☆11Jan 27, 2026Updated 2 weeks ago
- playing with gpt4☆14Mar 17, 2023Updated 2 years ago
- A tool to create immutable algebraic data structures and visitors for Java (such as abstract syntax trees).☆16Jan 12, 2026Updated last month
- ☆11Sep 1, 2020Updated 5 years ago
- ☆11Feb 3, 2026Updated last week
- Webside API implementation in Pharo☆12Oct 20, 2025Updated 3 months ago
- This is a repo for revising elements of "Interactive and Dynamic Graphics for Data Analysis".☆11Jan 23, 2026Updated 3 weeks ago
- R implementation of Contextual Importance and Utility for Explainable AI☆10Nov 5, 2025Updated 3 months ago
- stylish-haskell support for VS code☆14Jan 15, 2021Updated 5 years ago
- A constraint solver built from scratch in OCaml☆12Dec 10, 2021Updated 4 years ago
- IITM Paradigms of Programming -- Monsoon 2025☆18Nov 17, 2025Updated 2 months ago
- My attempt to make neovim more rust friendly from an IDE perspective while trying to not do all of the things!☆11Oct 3, 2020Updated 5 years ago
- This is a read-only mirror of the CRAN R package repository. car — Companion to Applied Regression. Homepage: https://github.com/bprice…☆10Feb 3, 2026Updated last week
- Type inference implementation in OCaml using Algorithm W☆10Aug 26, 2021Updated 4 years ago
- Rust library for multi-file readahead / dropbehind☆14May 31, 2017Updated 8 years ago
- Resources to look at in concert with my Haskell videos☆15Aug 12, 2022Updated 3 years ago
- We use an adversarial expert based online learning algorithm to learn the optimal parameters required to maximise wealth trading zero-cos…☆10Apr 8, 2020Updated 5 years ago
- ☆14Jun 11, 2025Updated 8 months ago
- A library to easily use servant and GDP together to build web apis with a lot of knowledge in the types☆10Sep 15, 2021Updated 4 years ago
- CTL (Computation Tree Logic) SAT solver☆15Feb 10, 2020Updated 6 years ago
- Types for ldtk☆16Apr 13, 2024Updated last year
- Binary Programming Formulation for Learning Classification Trees Using Cplex☆12Nov 14, 2018Updated 7 years ago
- Course web site for CSE131 F19☆11Dec 5, 2019Updated 6 years ago
- A fast globally unique variable supply with a pure API☆19Jun 26, 2023Updated 2 years ago
- ☆13Sep 15, 2022Updated 3 years ago
- A gentle introduction to Isabelle and Isabelle/HOL☆17Mar 27, 2025Updated 10 months ago
- Demoscene: Lambda Team☆20Jun 18, 2019Updated 6 years ago
- Code for Sufficient Input Subsets Paper☆14Mar 8, 2019Updated 6 years ago