CS410 "Advanced Functional Programming"
☆35Mar 25, 2026Updated 7 months ago
Alternatives and similar repositories for cs410-advanced-functional-programming
Users that are interested in cs410-advanced-functional-programming are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Compiler backend for generating Scheme code☆30Nov 27, 2025Updated 11 months ago
- Meta-programming utilities for Agda.☆25Oct 22, 2026Updated last week
- being a particular fragment of Haskell, extended to a proof system☆45Oct 21, 2026Updated last week
- Agda to C compiler☆11Sep 23, 2025Updated last year
- CS316 "Functional Programming" lecture notes☆25Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Examples of divide-and-conquer recursion in Coq, based on our POPL 2023 paper "A Type-Based Approach to Divide-and-Conquer Recursion in C…☆10Dec 16, 2024Updated last year
- algebraic typechecking and elaboration of type systems☆13Jan 25, 2025Updated last year
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆29Feb 18, 2021Updated 5 years ago
- Synthetic Tait computability in intensional type theory☆18Jul 13, 2026Updated 3 months ago
- An agda library for developing synthetic category theory - and other synthetic mathematics☆35Updated this week
- Shrinking induction-recursion... sometimes you just wanna be small!☆16May 7, 2026Updated 5 months ago
- A work-in-progress core language for Agda, in Agda☆75Sep 10, 2026Updated last month
- A LaTeX-typeset reproduction of Reynolds' "Types, Abstraction and Parametric Polymorphism"☆38Mar 29, 2026Updated 7 months ago
- ☆23Jan 24, 2022Updated 4 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- antifunext☆41Jun 27, 2024Updated 2 years ago
- Agda grammar for tree-sitter☆48Sep 13, 2026Updated last month
- Simply-typed lambda calculus as a QIT in cubical Agda + normalization☆16Jan 23, 2024Updated 2 years ago
- Compiling Agda code to readable Haskell☆210Updated this week
- An English translation of Deligne's three "Hodge theory" papers☆15Sep 21, 2026Updated last month
- Benchmarking tool for compile-time performance of Agda programs☆20Jan 26, 2022Updated 4 years ago
- Formal specification of the Haskell Language Report☆34Mar 2, 2026Updated 7 months ago
- 👹 A library for hierarchical names and lexical scoping☆28Jun 19, 2026Updated 4 months ago
- # A simple variable binding library based on well-scoped indices and environments☆41Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Elaboration of cumulative universe hierarchies☆13Oct 26, 2026Updated last week
- The groupoid CwF of containers, in Cubical Agda☆11Dec 12, 2025Updated 10 months ago
- ☆29Jun 23, 2022Updated 4 years ago
- An experiment in publishing a Haskell library as a Python Wheel.☆11Apr 30, 2025Updated last year
- ☆16Dec 28, 2021Updated 4 years ago
- Tic Tac Toe, formalized in Agda☆25Oct 19, 2021Updated 5 years ago
- A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) an…☆32Sep 21, 2022Updated 4 years ago
- Agda bindings to SMT-LIB2 compatible solvers.☆110Aug 11, 2025Updated last year
- ☆11Dec 14, 2023Updated 2 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Set up a specific version of Agda for your GitHub Actions workflow.☆32Nov 24, 2025Updated 11 months ago
- Distributions of Agda executable compiled into WebAssembly.☆25Apr 4, 2026Updated 6 months ago
- Topos theory in Lean 4☆18Feb 10, 2025Updated last year
- Session types framework with support of protocol pipelining.☆16Aug 24, 2026Updated 2 months ago
- A profiler which samples the RTS callstack☆20Oct 15, 2026Updated 2 weeks ago
- A graduate course on formalized mathematics at the Faculty of Mathematics and Physics, University of Ljubljana, Fall semester 2024/25☆29Jan 10, 2025Updated last year
- The Agda Universal Algebra Library (UALib) is a library of types and programs (theorems and proofs) that formalizes the foundations of un…☆20Dec 8, 2021Updated 4 years ago