Book about Haskell, Clean, Agda and Idris
☆11Mar 4, 2012Updated 14 years ago
Alternatives and similar repositories for 4languages
Users that are interested in 4languages are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A simple development of linear logic in Coq.☆13Mar 22, 2025Updated last year
- Dependently typed Algorithm M and friends☆26Jun 2, 2018Updated 8 years ago
- Haskell Gene Expression Programming Library☆10Mar 19, 2018Updated 8 years ago
- Scion part for EclipseFP Class Browser☆14May 14, 2015Updated 11 years ago
- The official repository for the LambdaConf 2017 Winter Retreat (January 8 - 12).☆12Aug 29, 2016Updated 10 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Type theory in type theory☆16Feb 26, 2012Updated 14 years ago
- wherein I implement several substructural logics in Agda☆24Oct 8, 2018Updated 8 years ago
- Machine learning library for Haskell☆14Sep 13, 2008Updated 18 years ago
- TeLLer is a collection of tools that explore the use of linear logic applied to narrative generation and story telling.☆18Jun 22, 2015Updated 11 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Jan 10, 2014Updated 12 years ago
- CLR-Hosted Total Functional Programming Language☆11May 30, 2011Updated 15 years ago
- A Parallel Haskell framework for particle-based Monte Carlo simulations☆13Apr 2, 2019Updated 7 years ago
- Simple, Incremental SAT Solving as a Haskell Library☆15Aug 31, 2016Updated 10 years ago
- category-theoretic goodness for Haskell☆18Jun 23, 2010Updated 16 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A well typed interpreter for the simply-typed lambda calculus written in Agda☆11Aug 22, 2016Updated 10 years ago
- Analysing Reddit user data.☆13May 5, 2014Updated 12 years ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆27Sep 10, 2015Updated 11 years ago
- ☆13Jan 27, 2012Updated 14 years ago
- Functional Programing in Scala (in Idris) [Idris]☆16Mar 23, 2015Updated 11 years ago
- ☆12May 9, 2015Updated 11 years ago
- A talk on parametricity☆36Jul 18, 2023Updated 3 years ago
- Collection of tactics I've found useful in Coq☆11Sep 30, 2016Updated 10 years ago
- A Genetic Algorithm library in Haskell☆20Nov 11, 2018Updated 7 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- STLC-related snippets in Agda☆16May 1, 2013Updated 13 years ago
- Brainfuck formalized in Coq☆32Mar 29, 2022Updated 4 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Jul 25, 2018Updated 8 years ago
- Decision procedures for Presburger arithmetic in Haskell☆30Mar 29, 2025Updated last year
- This repository powers the Teaching Machines website☆14Jul 17, 2022Updated 4 years ago
- Deprecated in favor of...☆17Jul 24, 2011Updated 15 years ago
- Clifford algebra for Haskell! :D☆14Jul 1, 2014Updated 12 years ago
- Manipulating Common Intermediate Language AST in Haskell☆22Nov 12, 2016Updated 9 years ago
- SparkleShare is a file sharing and collaboration tool inspired by Dropbox.☆16Mar 2, 2012Updated 14 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- This repo keeps track of my codes, answers and thinkings when exploring books.☆24Apr 21, 2021Updated 5 years ago
- A simple but practical HTTP server in Haskell. 'mighttpd' should be called 'mighty'.☆43Jan 27, 2011Updated 15 years ago
- Pure Haskell client for the Mandrill JSON API☆18Mar 11, 2025Updated last year
- ☆17Oct 8, 2014Updated 12 years ago
- Specification of Agda.☆25Jan 13, 2019Updated 7 years ago
- Haskell In New Clothes☆110Aug 14, 2020Updated 6 years ago
- An old tutorial for using `Effects` in Idris.☆23Sep 10, 2015Updated 11 years ago