serras / cat-theory-lambdaconf-wr-2017View external linksLinks
☆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 7 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☆24Feb 5, 2026Updated last 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
- A dec-bin converter uses 2's complement.☆10Sep 24, 2024Updated last year
- Road to Continous Upgrade☆15Aug 12, 2025Updated 6 months ago
- Composable folds☆13Jul 18, 2018Updated 7 years ago
- Support code for talk 'XXIst century shall be typed or not be'☆15Oct 21, 2022Updated 3 years ago
- A project where shared logic between our Java based CI plugins (Jenkins, TeamCity, Bamboo) is kept☆15Feb 2, 2026Updated 2 weeks ago
- redis starter☆13Sep 13, 2017Updated 8 years ago
- ☆15Dec 29, 2025Updated last month
- Tax types and computations for Australia☆11Dec 8, 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
- ☆11Jul 2, 2024Updated last year
- A POC for better exception reporting for futures☆12Aug 20, 2014Updated 11 years ago
- An example Ruby program to demonstrate the "pure function as an object" pattern.☆10Dec 11, 2017Updated 8 years ago
- Simple Bash script that shows LaTeX equations inline in the terminal☆10Apr 24, 2016Updated 9 years ago
- Plugin module for the ALL(*) lookahead algorithm in Chevrotain☆12Aug 31, 2023Updated 2 years ago
- Mixin classes and traits dynamically☆10Sep 4, 2017Updated 8 years ago
- A http client for Idris based on libcurl☆10Mar 18, 2016Updated 9 years ago
- Indexed Functors for GHC 7.6☆22Aug 20, 2019Updated 6 years ago
- A library for developing languages with scoped binders (like forall or lambda).☆28Aug 21, 2018Updated 7 years ago
- Obsolete, Ammonite is now supported in IntelliJ 🎉 -->☆11Jan 7, 2017Updated 9 years ago
- ☆20Feb 27, 2023Updated 2 years ago
- Clifford algebra for Haskell! :D☆14Jul 1, 2014Updated 11 years ago
- @davidtwco's dotfiles - managed by chezmoi!☆14Jan 16, 2026Updated last month
- Manage Nix Haskell override sets☆11Sep 30, 2018Updated 7 years ago
- ☆16Jul 13, 2014Updated 11 years ago
- A template project for use with cargo-generate☆13Nov 7, 2023Updated 2 years ago