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. We may earn a commission when you buy through links labeled 'Ad' on this page.

• 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
• pigworker / Pivotal

  View on GitHub
  ☆31Sep 9, 2014Updated 11 years ago
• jstolarek / why-dependent-types-matter

  View on GitHub
  Companion code for "Why Dependent Types Matter" paper.
  ☆60Jun 14, 2018Updated 7 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
• schell / glucose

  View on GitHub
  An API that wraps webgl and opengl
  ☆11Oct 22, 2017Updated 8 years ago
• Saizan / miller

  View on GitHub
  Miller/pattern unification in Agda
  ☆69Oct 29, 2025Updated 4 months ago
• agda-attic / agda-frp-ltl

  View on GitHub
  An implementation of Functional Reactive Programming
  ☆41Mar 2, 2015Updated 11 years ago
• effectfully / STLC

  View on GitHub
  Dependently typed Algorithm M and friends
  ☆26Jun 2, 2018Updated 7 years ago
• parsonsmatt / lambda

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

  View on GitHub
  GUI toolkit for Ada using OpenGL
  ☆15Jan 17, 2013Updated 13 years ago
• contentful / slash-developers

  View on GitHub
  THIS REPOSITORY IS DEPRECATED. Please do not open new PRs or issues.
  ☆13Sep 10, 2018Updated 7 years ago
• favonia / homotopy

  View on GitHub
  My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)
  ☆27Aug 14, 2014Updated 11 years ago
• effectfully / Eff

  View on GitHub
  Experiments with effect systems
  ☆12Apr 18, 2016Updated 9 years ago
• ekmett / foreign-var

  View on GitHub
  Foreign variables, deprecated in favor of `StateVar`
  ☆11May 1, 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
• rowsail / AdaForMicrocontrollers

  View on GitHub
  Ada For Microcontrollers (GPL)
  ☆19Sep 24, 2015Updated 10 years ago
• nicupavel / rainmachine-api

  View on GitHub
  RainMachine RESTful API (version 4)
  ☆10Dec 15, 2021Updated 4 years ago
• yallop / pldi2014-papers

  View on GitHub
  Accepted papers for PLDI 2014
  ☆15May 19, 2016Updated 9 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
• crypto-agda / crypto-agda

  View on GitHub
  Cryptographic Constructions in the Type Theory of Agda
  ☆52Aug 8, 2015Updated 10 years ago
• rodrigogribeiro / agda-software-foundations

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

  View on GitHub
  Algorithmic music project for MIDIHACK 2014
  ☆29May 21, 2014Updated 11 years ago
• Cognimeta / perdure

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

  View on GitHub
  A toy symbolic algebra / calculus library in Haskell
  ☆12Oct 4, 2015Updated 10 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
• snowleopard / united

  View on GitHub
  United Monoids
  ☆24Oct 2, 2022Updated 3 years ago
• adamjmurray / js-live-api-humanize-midi-clips

  View on GitHub
  An example of using the Max for Live JavaScript API to modify MIDI clips.
  ☆18Jun 22, 2014Updated 11 years ago
• karakalo / lumen

  View on GitHub
  OpenGL GUI toolkit library for Ada
  ☆28Feb 15, 2013Updated 13 years ago
• tanakh / html2hamlet

  View on GitHub
  HTML to Hamlet converter
  ☆16Oct 1, 2019Updated 6 years ago
• corajr / heroku-buildpack-nix-proot

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

  View on GitHub
  Resurrecting Lennart Augustsson's implementation of Cayenne
  ☆38Jul 23, 2013Updated 12 years ago
• eckyputrady / livelog

  View on GitHub
  time tracker in haskell
  ☆10Jul 21, 2015Updated 10 years ago
• stepcut / hyperdrive

  View on GitHub
  A fast, low-level HTTP server you can trust
  ☆46Sep 5, 2018Updated 7 years ago
• wenkokke / AutoInAgda

  View on GitHub
  Proof automation – for Agda, in Agda.
  ☆45Sep 7, 2020Updated 5 years ago
• gasche / icfp2013-papers

  View on GitHub
  List of ICFP'13 accepted papers, with links to preprint or additional information when available
  ☆72Jul 24, 2016Updated 9 years ago
• wenkokke / msla2014

  View on GitHub
  wherein I implement several substructural logics in Agda
  ☆24Oct 8, 2018Updated 7 years ago
• philopon / helics

  View on GitHub
  New Relic® agent SDK wrapper for Haskell
  ☆13Dec 27, 2017Updated 8 years ago