This is a common repository for the ABCD team to share use-cases of session types.
☆15Feb 29, 2016Updated 10 years ago
Alternatives and similar repositories for session-types-use-cases
Users that are interested in session-types-use-cases are comparing it to the libraries listed below
Sorting:
- A semantic highlighter for Idris code☆14Feb 22, 2018Updated 8 years ago
- ☆52Aug 14, 2025Updated 6 months ago
- being the materials for "Datatypes of Datatypes" at the Summer School on Generic and Effectful Programming, Oxford☆20Jul 10, 2015Updated 10 years ago
- Work on type class deriving with elaboration reflection☆32Sep 9, 2018Updated 7 years ago
- A library to parse and generate the graphviz dot langauge.☆10Feb 13, 2019Updated 7 years ago
- Tax types and computations for Australia☆12Dec 8, 2025Updated 2 months ago
- Support code for talk 'XXIst century shall be typed or not be'☆15Oct 21, 2022Updated 3 years ago
- Core components for the Scribble Java tools☆59Oct 3, 2024Updated last year
- Manage Nix Haskell override sets☆11Sep 30, 2018Updated 7 years ago
- Plugin module for the ALL(*) lookahead algorithm in Chevrotain☆12Aug 31, 2023Updated 2 years ago
- ☆12Jan 8, 2022Updated 4 years ago
- ☆24Jan 23, 2017Updated 9 years ago
- GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…☆10Feb 14, 2024Updated 2 years ago
- Applicative lexer☆13Nov 26, 2019Updated 6 years ago
- ☆12May 9, 2015Updated 10 years ago
- ☆12May 22, 2016Updated 9 years ago
- A sample mathematics paper to illustrate basic ideas in LaTeX☆11Jul 21, 2024Updated last year
- A repository with some information I may need to refer later about the Plutus lectures☆12Jul 19, 2021Updated 4 years ago
- Combinator methods for `std::AsyncIterator` using all the new `async` superpowers☆10Feb 15, 2024Updated 2 years ago
- ☆12Nov 20, 2025Updated 3 months ago
- ☆16Jul 13, 2014Updated 11 years ago
- This demo site uses Gunnar Grosch's failure-lambda NPM package to perform chaos engineering experiments on a serverless environment.☆11Jul 12, 2023Updated 2 years ago
- Materials for a training workshop on 'Introduction to Julia for Computational Science'☆12Jul 9, 2025Updated 7 months ago
- Indexed Functors for GHC 7.6☆22Aug 20, 2019Updated 6 years ago
- Your Digital Freedom☆43Updated this week
- A Haskell clone of https://cstack.github.io/db_tutorial☆11Jun 30, 2020Updated 5 years ago
- @davidtwco's dotfiles - managed by chezmoi!☆14Jan 16, 2026Updated last month
- ☆11Jul 2, 2024Updated last year
- CHERI sample C programs☆12Jan 16, 2025Updated last year
- Some canvas experiments... like drawing a procedurally generated skyline. Also featuring fun explosions :D☆23Apr 17, 2014Updated 11 years ago
- Just Build It - a "do what I mean" abstraction for Haskell build tools☆12Jun 8, 2018Updated 7 years ago
- Clifford algebra for Haskell! :D☆14Jul 1, 2014Updated 11 years ago
- Simple testing toolkit☆10May 28, 2021Updated 4 years ago
- A dependently typed programming language, a successor to Idris☆12Jul 18, 2021Updated 4 years ago
- Exploring the "expression problem" in Rust☆50Oct 2, 2022Updated 3 years ago
- ☆11Nov 5, 2015Updated 10 years ago
- Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais☆26Jan 14, 2019Updated 7 years ago
- Collects examples used to produce the paper 'Session Types with Linearity in Haskell' by Orchard and Yoshida (2017).☆12Nov 28, 2023Updated 2 years ago
- 🏡 There's no place like ~/☆14Jan 28, 2026Updated last month