☆10Jan 11, 2017Updated 9 years ago
Alternatives and similar repositories for cat-theory-lambdaconf-wr-2017
Users that are interested in cat-theory-lambdaconf-wr-2017 are comparing it to the libraries listed below
Sorting:
- A semantic highlighter for Idris code☆14Feb 22, 2018Updated 8 years ago
- Generate commutative diagrams inside of Pandoc with Tikz☆34Jul 6, 2017Updated 8 years ago
- Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais☆26Jan 14, 2019Updated 7 years ago
- Functional Programing in Scala (in Idris) [Idris]☆16Mar 23, 2015Updated 10 years ago
- Translation of Agda code in A. Löh and J. P. Magalhães *Generic Programming with Indexed Functors* to Idris.☆14Apr 5, 2017Updated 8 years ago
- an exploration of subtyping-based category theory in scala☆25Dec 22, 2010Updated 15 years ago
- This project contains the basic info about how to log the Client request and the **Response Time taken** by the request on the server and…☆18May 17, 2017Updated 8 years ago
- Play JSON Reads/Writes instances for refined types☆24Updated this week
- being the materials for "Datatypes of Datatypes" at the Summer School on Generic and Effectful Programming, Oxford☆20Jul 10, 2015Updated 10 years ago
- Parsers for various configuration files written in Idris.☆19Nov 8, 2017Updated 8 years ago
- being the programs and code for a paper about general recursion☆26Feb 15, 2015Updated 11 years ago
- Haskell types and instances for decoding GitHub webhook payloads.☆39Sep 12, 2025Updated 5 months ago
- Github project where I track everything related to my thesis☆28Sep 2, 2016Updated 9 years ago
- Road to Continous Upgrade☆15Aug 12, 2025Updated 6 months ago
- A dec-bin converter uses 2's complement.☆10Sep 24, 2024Updated last year
- A project where shared logic between our Java based CI plugins (Jenkins, TeamCity, Bamboo) is kept☆15Feb 2, 2026Updated last month
- Support code for talk 'XXIst century shall be typed or not be'☆15Oct 21, 2022Updated 3 years ago
- Composable folds☆13Jul 18, 2018Updated 7 years ago
- Tax types and computations for Australia☆11Dec 8, 2025Updated 3 months ago
- redis starter☆13Sep 13, 2017Updated 8 years ago
- ☆15Dec 29, 2025Updated 2 months ago
- Web "framework" for Scala Native with the power of RFC 3875: The Common Gateway Interface☆40Sep 29, 2017Updated 8 years ago
- Generate literate-style markdown docs from your sources☆59Jan 30, 2018Updated 8 years ago
- Random Scala thought experiments and miscellany.☆11Aug 24, 2016Updated 9 years ago
- Mixin classes and traits dynamically☆10Sep 4, 2017Updated 8 years ago
- A repository with some information I may need to refer later about the Plutus lectures☆12Jul 19, 2021Updated 4 years ago
- threadpool☆15Jun 28, 2016Updated 9 years ago
- A sample mathematics paper to illustrate basic ideas in LaTeX☆11Jul 21, 2024Updated last year
- A Haskell clone of https://cstack.github.io/db_tutorial☆11Jun 30, 2020Updated 5 years ago
- Powerful framework providing many useful utilities and features on top of the Scala language.☆15Feb 8, 2017Updated 9 years ago
- ☆11Jul 2, 2024Updated last year
- A template project for use with cargo-generate☆13Nov 7, 2023Updated 2 years ago
- Regular expression matching in Idris☆11Apr 27, 2016Updated 9 years ago
- A POC for better exception reporting for futures☆12Aug 20, 2014Updated 11 years ago
- ☆12May 9, 2015Updated 10 years ago
- A dependently typed programming language, a successor to Idris☆12Jul 18, 2021Updated 4 years ago
- -.. --- - ..-. .. .-.. . ...☆11Sep 16, 2021Updated 4 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
- @davidtwco's dotfiles - managed by chezmoi!☆14Jan 16, 2026Updated last month