AFPChalmers15/AFPcourse external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

AFPChalmers15/AFPcourse

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/AFPChalmers15/AFPcourse)

Close

AFPChalmers15 / AFPcourseView on GitHubMore

• External links
• Readme badge

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

• TDA283-compiler-construction / project

  View on GitHub
  Material for TDA283 / DIT300 Compiler Construction
  ☆17Updated this week
• nicolabotta / SeqDecProbs

  View on GitHub
  ☆14Apr 9, 2017Updated 8 years ago
• shayan-najd / QFeldspar

  View on GitHub
  QFeldspar: a QDSL front-end for MiniFeldspar
  ☆14Nov 11, 2015Updated 10 years ago
• Netflix / dgs-examples-webflux

  View on GitHub
  ☆15Sep 5, 2023Updated 2 years ago
• kenichi-asai / Universe

  View on GitHub
  The Universe Library for OCaml
  ☆14Dec 30, 2018Updated 7 years ago
• emilaxelsson / syntactic

  View on GitHub
  Generic representation and manipulation of abstract syntax
  ☆27May 26, 2022Updated 3 years ago
• nikivazou / EquationalReasoningInLiquidHaskell

  View on GitHub
  Derivation of Optimized Definitions Based on Specs
  ☆14Sep 28, 2019Updated 6 years ago
• OPLSS / oplss-notes-2017

  View on GitHub
  handouts and notes from the 2017 edition of the summer school
  ☆39Jul 13, 2017Updated 8 years ago
• jashughes / adventofcode2021

  View on GitHub
  ☆10Jan 1, 2022Updated 4 years ago
• KillrVideo / killrvideo-web

  View on GitHub
  The web server and browser single page app for KillrVideo
  ☆11Sep 15, 2022Updated 3 years ago
• dsyer / docker-services

  View on GitHub
  ☆17Sep 12, 2025Updated 6 months ago
• OPLSS / oplss-notes-2019

  View on GitHub
  Notes and handouts from OPLSS 2019
  ☆35Jun 28, 2019Updated 6 years ago
• bos / rwh

  View on GitHub
  Real World Haskell
  ☆30Jul 4, 2012Updated 13 years ago
• vaadin / vaadin-connect

  View on GitHub
  A Vaadin Labs experiment with a secure stateless communication framework
  ☆18Oct 30, 2020Updated 5 years ago
• haskell-wasm / ghc-wasm-reflex-examples

  View on GitHub
  ☆16Oct 11, 2025Updated 5 months ago
• underscoreio / free-objects-code

  View on GitHub
  Code samples accompanying the Essential Scalaz supplement dealing with free monoids and free monads.
  ☆12Apr 14, 2015Updated 10 years ago
• tpetricek / TryJoinads

  View on GitHub
  Source code of the www.tryjoinads.org project (web page only)
  ☆17Nov 6, 2013Updated 12 years ago
• jqassistant-archive / jqa-spring-plugin

  View on GitHub
  ☆19Mar 3, 2023Updated 3 years ago
• flupe / generics

  View on GitHub
  ☆23Jul 1, 2024Updated last year
• PacktPublishing / Fsharp-4.0-Design-Patterns

  View on GitHub
  Code repository for F# 4.0 Design Patterns, published by Packt
  ☆13Jan 14, 2021Updated 5 years ago
• ekmett / rope

  View on GitHub
  Fingertrees of Bytestrings
  ☆19Dec 3, 2018Updated 7 years ago
• ELTE-Soft / txtUML

  View on GitHub
  Textual, eXecutable, Translatable UML
  ☆26Jul 3, 2019Updated 6 years ago
• arquillian / arquillian-extension-jacoco

  View on GitHub
  Arquillian Jacoco Extension
  ☆27Jan 18, 2023Updated 3 years ago
• codeeu / codeeu.github.io

  View on GitHub
  Main Europe Code Week website with static resources.
  ☆36Aug 3, 2018Updated 7 years ago
• rubikonx9 / SublimeRegexExplainTip

  View on GitHub
  SublimeText 3 plugin for displaying regular expression explanations
  ☆12Apr 23, 2018Updated 7 years ago
• STealthy-and-haSTy / hyperhelpcore

  View on GitHub
  A hyperlinked help system for Sublime Text 3
  ☆12Apr 16, 2021Updated 4 years ago
• vishesh / racketscript

  View on GitHub
  Racket to JavaScript Compiler
  ☆14Aug 30, 2021Updated 4 years ago
• damienbod / WebSearchWithElasticsearchEntityFrameworkAsPrimary

  View on GitHub
  ☆12Nov 24, 2015Updated 10 years ago
• robsdedude / melody-composer

  View on GitHub
  Using higher Order Markov Modells and Clustering to compose melodies similar to a training data set
  ☆14May 17, 2017Updated 8 years ago
• JonasDuregard / testing-feat

  View on GitHub
  FEAT
  ☆25May 26, 2018Updated 7 years ago
• ekmett / fractions

  View on GitHub
  lazy continued fractions
  ☆19Aug 5, 2015Updated 10 years ago
• vijay03 / asstprofbook

  View on GitHub
  Github repo backing website for the CS Assistant Professor Handbook
  ☆28Aug 28, 2024Updated last year
• jespercockx / agda-lecture-notes

  View on GitHub
  Agda lecture notes for the Functional Programming course at TU Delft
  ☆132Mar 3, 2026Updated 2 weeks ago
• ocramz / petsc-hs

  View on GitHub
  Haskell bindings for PETSc and SLEPc
  ☆21Sep 5, 2016Updated 9 years ago
• pedagand / MPRI-2.4-DTP

  View on GitHub
  MPRI-2.4 Dependently-typed Functional Programming
  ☆32Dec 10, 2020Updated 5 years ago
• vale-cli / SubVale

  View on GitHub
  A Sublime Text 3 client for Vale Server.
  ☆13Dec 7, 2020Updated 5 years ago
• evilstreak / gitmoji

  View on GitHub
  Display an emoji based on time since your last commit to a git repo
  ☆16Apr 29, 2013Updated 12 years ago
• seL4 / graph-refine

  View on GitHub
  ☆16Mar 17, 2025Updated last year
• ongacrest / songle-widget-api-examples

  View on GitHub
  Songle Widget API Examples
  ☆18Jul 26, 2016Updated 9 years ago