anwarmamat / cmsc330Links
☆17Updated last year
Alternatives and similar repositories for cmsc330
Users that are interested in cmsc330 are comparing it to the libraries listed below
Sorting:
- ☆34Updated 5 years ago
- unsw comp3331 all full mark☆10Updated 5 years ago
- A collection of bioinformatics algorithms☆12Updated 3 years ago
- An interpreter capable of executing a simple scripting language from a plain-text file☆14Updated 8 years ago
- Squanchy is a brand new, easy to learn, general purpose, multi-paradigm, compiled programming language. The language is written from scra…☆15Updated 6 years ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆76Updated 7 years ago
- ☆21Updated 6 years ago
- The 2020-21 Edition of CS316 "Functional Programming" @ the University of Strathclyde☆24Updated 4 years ago
- Bioinformatics pipelines with Haskell and Shake☆56Updated 6 years ago
- Higher-order, higher-order automatic differentiation☆30Updated 5 years ago
- An implementation of structural subtyping of records and functions☆13Updated 7 years ago
- ☆173Updated 4 years ago
- The Coral Programming Language: a blazingly-fast, gradually-typed Python compiler with optional static typing for optimization and safety…☆147Updated last week
- Dining hall menu app for Princeton University with 2000+ daily views, over 1 million lifetime views. Built with Flask.☆33Updated 4 months ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆85Updated 8 months ago
- Some tools for provability logic☆37Updated 7 years ago
- Implementation of the languages from the EOPL textbook in Haskell and Standard ML.☆15Updated 6 years ago
- A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.☆21Updated 7 months ago
- An esoteric programming language based on Rubik's Cubes☆28Updated 7 years ago
- Neural-Network Guided Expression Transformation☆13Updated 7 years ago
- A programming language supporting most of both declarative and imperative programming☆52Updated 3 weeks ago
- Various Futhark benchmark programs☆43Updated this week
- minimalist pure lazy functional programming language (pythonic haskell)☆79Updated 9 months ago
- Java implementation of the Push programming language, a stack based language designed for genetic programming.☆25Updated 14 years ago
- A LaTeX package for proof carrying papers☆24Updated 9 years ago
- Graph Grammar Library☆26Updated 8 years ago
- A Haskell ray tracer largely based on http://www.raytracegroundup.com/☆22Updated 3 months ago
- A compiler for the gradually typed lambda calculus☆76Updated 4 years ago
- Alef Lazily Evaluates Functions☆32Updated 12 years ago
- Paper: The simple essence of automatic differentiation☆23Updated 7 years ago