umddb / cmsc424-fall2021Links
☆9Updated 2 years ago
Alternatives and similar repositories for cmsc424-fall2021
Users that are interested in cmsc424-fall2021 are comparing it to the libraries listed below
Sorting:
- Supplementary course notes for Dr. Ilchul Yoon & Dr. A.U. Shankar's CMSC216 at the University of Maryland, compiled during my time as a T…☆13Updated 5 years ago
- Assignments for CMSC320 during the Spring 2021 Semester☆9Updated 4 years ago
- ☆34Updated 4 years ago
- Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically☆207Updated last year
- Solutions for Okasaki's "Purely functional data structures" book☆45Updated 11 years ago
- Data Structures and Algorithms Practice☆14Updated 2 years ago
- ☆17Updated last year
- Number theory: primes, arithmetic functions, modular computations, special sequences☆155Updated last month
- The 2019/2020 edition of Strathclyde's CS316 Functional Programming course☆41Updated 5 years ago
- GHC Whole Program Compiler and External STG IR tooling☆118Updated 8 months ago
- Deep learning via category theory and functional programming☆144Updated 5 years ago
- The Haskell Thrift Compiler. This is an implementation of the Thrift spec that generates code in Haskell. It depends on the fbthrift proj…☆156Updated last week
- Smash products, Wedge products, and other Pointed stuff☆34Updated 3 years ago
- A Python implementation of the Refinement Types Tutorial.☆9Updated 4 years ago
- This repository contains the compiler we are building in class, and supporting libraries, updated after each class.☆7Updated last year
- MicroC example compiler for Stephen Edward's PLT class, but in Haskell☆117Updated 4 years ago
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆83Updated 4 years ago
- Types and Programming Languages☆37Updated 10 years ago
- Efficient and single-steppable ULC evaluation algorithm☆15Updated 4 years ago
- Elsa is a lambda calculus evaluator☆187Updated 3 months ago
- Strongly-typed System F in Haskell☆117Updated 2 years ago
- A Scala library for language processing.☆47Updated 10 months ago
- My solutions for all exercises in "Programming in Haskell" 2nd ed.☆64Updated 6 months ago
- ☆233Updated 11 months ago
- ☆20Updated 4 years ago
- The 2018-19 edition of Strathclyde's CS316 "Functional Programming" course☆31Updated 6 years ago
- A Turing complete language 😉☆42Updated 4 years ago
- A collection of templates and solutions for Competitive Programming in Haskell☆29Updated 3 years ago
- Dependent Object Types (DOT), bottom up☆87Updated 3 years ago
- ICFP 2020 papers. Crowd-sourced☆91Updated 4 years ago