pigworker/CS410-13 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

pigworker/CS410-13

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/pigworker/CS410-13)

Close

pigworker / CS410-13View on GitHubMore

• External links
• Readme badge

being the notes and materials for CS410 in the 2013/14 academic session

☆30May 27, 2014Updated 11 years ago

Alternatives and similar repositories for CS410-13

Users that are interested in CS410-13 are comparing it to the libraries listed below

• bobatkey / sorting-types

  View on GitHub
  Typed DSLs for sorting
  ☆20Feb 16, 2018Updated 8 years ago
• pigworker / CS410-14

  View on GitHub
  being the materials for CS410 Advanced Functional Programming in the 2014-15 session
  ☆72Jun 2, 2015Updated 10 years ago
• jstolarek / why-dependent-types-matter

  View on GitHub
  Companion code for "Why Dependent Types Matter" paper.
  ☆60Jun 14, 2018Updated 7 years ago
• pigworker / Pivotal

  View on GitHub
  ☆31Sep 9, 2014Updated 11 years ago
• spire / spire

  View on GitHub
  The Spire Programming Language
  ☆59Oct 23, 2014Updated 11 years ago
• pcapriotti / agda-base

  View on GitHub
  Base library for HoTT in Agda
  ☆39Apr 2, 2019Updated 6 years ago
• ggreif / dynamic-loader

  View on GitHub
  Lightweight Haskell dynamic loading library originally written by Copyright © 2004 Hampus Ram.
  ☆24Feb 28, 2018Updated 8 years ago
• ZongzheYuan / HaltingProblem

  View on GitHub
  The proof of undecidability of halting problem, using the model -- WHILE language.
  ☆21May 27, 2020Updated 5 years ago
• eckyputrady / livelog

  View on GitHub
  time tracker in haskell
  ☆10Jul 21, 2015Updated 10 years ago
• ekmett / foreign-var

  View on GitHub
  Foreign variables, deprecated in favor of `StateVar`
  ☆11May 1, 2019Updated 6 years ago
• schell / glucose

  View on GitHub
  An API that wraps webgl and opengl
  ☆11Oct 22, 2017Updated 8 years ago
• yallop / pldi2014-papers

  View on GitHub
  Accepted papers for PLDI 2014
  ☆15May 19, 2016Updated 9 years ago
• Cognimeta / perdure

  View on GitHub
  Robust persistence for typed immutable data
  ☆16Nov 5, 2016Updated 9 years ago
• parsonsmatt / lambda

  View on GitHub
  An exploration and implementation of the lambda calculus.
  ☆12Oct 18, 2016Updated 9 years ago
• minrk / .jupyter

  View on GitHub
  ☆10May 2, 2016Updated 9 years ago
• mrkgnao / pebble

  View on GitHub
  A toy symbolic algebra / calculus library in Haskell
  ☆12Oct 4, 2015Updated 10 years ago
• Saizan / miller

  View on GitHub
  Miller/pattern unification in Agda
  ☆68Oct 29, 2025Updated 4 months ago
• effectfully / STLC

  View on GitHub
  Dependently typed Algorithm M and friends
  ☆26Jun 2, 2018Updated 7 years ago
• Blaisorblade / Agda-playground

  View on GitHub
  My Agda experiments
  ☆12Sep 26, 2019Updated 6 years ago
• ekmett / concurrent-supply

  View on GitHub
  A fast globally unique variable supply with a pure API
  ☆19Jun 26, 2023Updated 2 years ago
• effectfully / Eff

  View on GitHub
  Experiments with effect systems
  ☆12Apr 18, 2016Updated 9 years ago
• solatis / haskell-network-anonymous-i2p

  View on GitHub
  Haskell API for I2P anonymous networking
  ☆16Jun 1, 2015Updated 10 years ago
• Rufflewind / config

  View on GitHub
  System configuration and utilities for Linux ⚙
  ☆12Feb 16, 2026Updated 2 weeks ago
• tanakh / html2hamlet

  View on GitHub
  HTML to Hamlet converter
  ☆16Oct 1, 2019Updated 6 years ago
• agda-attic / agda-frp-ltl

  View on GitHub
  An implementation of Functional Reactive Programming
  ☆41Mar 2, 2015Updated 11 years ago
• fpco / mutable-containers

  View on GitHub
  Abstactions and concrete implementations of mutable containers
  ☆13Jul 4, 2016Updated 9 years ago
• quchen / amoeba

  View on GitHub
  Amœba is a distributed network.
  ☆18May 16, 2014Updated 11 years ago
• rodrigogribeiro / agda-software-foundations

  View on GitHub
  Porting of software foundations book to Agda
  ☆39Feb 16, 2014Updated 12 years ago
• ekmett / hyperfunctions

  View on GitHub
  playing with hyperfunctions
  ☆16May 2, 2021Updated 4 years ago
• philopon / helics

  View on GitHub
  New Relic® agent SDK wrapper for Haskell
  ☆13Dec 27, 2017Updated 8 years ago
• karakalo / old-lumen

  View on GitHub
  GUI toolkit for Ada using OpenGL
  ☆15Jan 17, 2013Updated 13 years ago
• ekmett / rcu

  View on GitHub
  experimenting with STM-backed read-copy-update in Haskell
  ☆18Oct 19, 2025Updated 4 months ago
• vitling / midihack

  View on GitHub
  Algorithmic music project for MIDIHACK 2014
  ☆29May 21, 2014Updated 11 years ago
• mstksg / auto-examples

  View on GitHub
  Example projects using the auto library.
  ☆20May 16, 2015Updated 10 years ago
• nicupavel / rainmachine-api

  View on GitHub
  RainMachine RESTful API (version 4)
  ☆10Dec 15, 2021Updated 4 years ago
• rowsail / AdaForMicrocontrollers

  View on GitHub
  Ada For Microcontrollers (GPL)
  ☆19Sep 24, 2015Updated 10 years ago
• joom / fuzzy

  View on GitHub
  Fuzzy string search in Haskell
  ☆14Jan 5, 2024Updated 2 years ago
• HaskellEmbedded / ion

  View on GitHub
  An Ivory library inspired by Atom
  ☆14Oct 17, 2016Updated 9 years ago
• corajr / heroku-buildpack-nix-proot

  View on GitHub
  A Heroku buildpack using Nix.
  ☆13Mar 28, 2017Updated 8 years ago