http://www.cse.chalmers.se/edu/course/afp/
â13Dec 1, 2015Updated 10 years ago
Alternatives and similar repositories for AFPcourse
Users that are interested in AFPcourse are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- đ Haskell profiles to sponsorâ47Oct 28, 2021Updated 4 years ago
- â14Apr 9, 2017Updated 9 years ago
- QFeldspar: a QDSL front-end for MiniFeldsparâ14Nov 11, 2015Updated 10 years ago
- Derivation of Optimized Definitions Based on Specsâ14Sep 28, 2019Updated 7 years ago
- â10Jan 1, 2022Updated 4 years ago
- Open source password manager - Proton Pass ⢠AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Notes and handouts from OPLSS 2019â35Jun 28, 2019Updated 7 years ago
- â18Oct 11, 2025Updated 11 months ago
- ĺžŽäżĄĺ Źäźĺšłĺ°ćĺĄĺ¨ĺźĺĺˇĽĺ ˇâ10Aug 24, 2023Updated 3 years ago
- â10Apr 26, 2018Updated 8 years ago
- Textual, eXecutable, Translatable UMLâ27Jul 3, 2019Updated 7 years ago
- SublimeText 3 plugin for displaying regular expression explanationsâ12Apr 23, 2018Updated 8 years ago
- Racket to JavaScript Compilerâ14Aug 30, 2021Updated 5 years ago
- Github repo backing website for the CS Assistant Professor Handbookâ28Aug 28, 2024Updated 2 years ago
- Haskell bindings for PETSc and SLEPcâ21Sep 5, 2016Updated 10 years ago
- GPU virtual machines on DigitalOcean Gradient AI ⢠AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Deep embedding of imperative programs with code generationâ23May 26, 2022Updated 4 years ago
- Agda lecture notes for the Functional Programming course at TU Delftâ135Mar 3, 2026Updated 7 months ago
- Introduction to python and Jupyter Notebook; includes all of Michael's lecture notesâ15Apr 7, 2026Updated 6 months ago
- lazy continued fractionsâ19Aug 5, 2015Updated 11 years ago
- MPRI-2.4 Dependently-typed Functional Programmingâ33Dec 10, 2020Updated 5 years ago
- A simple development of linear logic in Coq.â13Mar 22, 2025Updated last year
- Implementation of Pie, following The Little Typerâ20Oct 2, 2026Updated last week
- foculor Theme for Sublime Text 3â11May 14, 2018Updated 8 years ago
- Generic representation and manipulation of abstract syntaxâ27Mar 21, 2026Updated 6 months ago
- Deploy on Railway without the complexity - Free Credits Offer ⢠AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- sublime text protocolâ18Sep 29, 2023Updated 3 years ago
- This is a presentation about haskell's type families.â16May 17, 2018Updated 8 years ago
- an IMAP mail client implemented in Racketâ33Jun 28, 2025Updated last year
- An implementation of a small subset of the Wolfram language in Haskellâ20Apr 19, 2026Updated 5 months ago
- Config files for Arch Linuxâ16Aug 17, 2021Updated 5 years ago
- Variational autoencoder, denoising autoencoder and other variations of autoencoders implementation in kerasâ15Dec 7, 2017Updated 8 years ago
- Mathematical terms, definitions, and propositions in as many languages as possibleâ25Sep 30, 2026Updated last week
- SICP Online Judge, consisting of a server, a react web interface and a modified Ok client.â12Dec 5, 2022Updated 3 years ago
- Syntax Highlighting for SublimeText / Text Mateâ10Dec 11, 2018Updated 7 years ago
- Managed Database hosting by DigitalOcean ⢠AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- avoid cabal dependency hell by installing all your cabal dependencies at the same timeâ36Mar 26, 2015Updated 11 years ago
- FEECa: Finite Element Exterior Calculus in Haskellâ34Jan 17, 2020Updated 6 years ago
- A Collection of Papers & Notes in Programming Language & Formal Verificationâ17May 10, 2022Updated 4 years ago
- Canopy blog data that powers ICFP liveblogâ16Nov 2, 2016Updated 9 years ago
- sparse matrices in Morton orderâ24Aug 9, 2015Updated 11 years ago
- Sublime Text plugin for browsing a JSON document via tree viewâ15Apr 4, 2014Updated 12 years ago
- Easily deploy Hugo sites to Github Pagesâ11Jul 15, 2016Updated 10 years ago