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 4 years ago
- unsw comp3331 all full mark☆10Updated 5 years ago
- 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…☆14Updated 5 years ago
- A collection of bioinformatics algorithms☆12Updated 3 years ago
- A compiler for Coq☆26Updated 12 years ago
- Bioinformatics pipelines with Haskell and Shake☆55Updated 6 years ago
- Ask for solutions.☆19Updated 6 years ago
- This project has been moved to https://gitlab.com/cloogle/cloogle-web☆17Updated 4 years ago
- Finite sets, finite maps, multisets and generic sets☆50Updated last week
- Bioinformatics Ketrew Pipelines☆28Updated 3 years ago
- A type theory based theorem proving library☆25Updated 14 years ago
- MetaML and MetaOCaml bibliography☆93Updated 10 months ago
- A LaTeX package for proof carrying papers☆24Updated 8 years ago
- Keep Track of Experimental Workflows☆76Updated 7 years ago
- SML, The Living Language (aka, Successor ML)☆72Updated 9 years ago
- Combinatorial tricks to enumerate regular expressions in closed-form.☆33Updated 8 years ago
- A Haskell port of the C++ smallpt path tracer☆15Updated 4 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 7 years ago
- Continuation Passing C☆114Updated 6 years ago
- A simple cross-platform OCaml code editor built for top-level evaluation.☆65Updated 2 years ago
- OCaml code for Compiler Construction course at University of Cambridge☆43Updated 4 years ago
- OCaml library for manipulating context-free grammars☆20Updated last month
- The Ynot Project source code.☆22Updated 11 years ago
- Implementation of the languages from the EOPL textbook in Haskell and Standard ML.☆15Updated 5 years ago
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆31Updated 13 years ago
- DEPRECATED: Accelerate backend for NVIDIA GPUs☆56Updated 8 years ago
- Alef Lazily Evaluates Functions☆32Updated 12 years ago
- Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.☆31Updated 4 years ago
- A simple development of linear logic in Coq.☆13Updated 6 months ago
- Beamer theme for the Department of Mathematics, University of Oslo☆12Updated last year