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
- Boolean satisfiability for propositional logic in Python☆14Updated 3 months ago
- A collection of bioinformatics algorithms☆12Updated 3 years ago
- linear algebra for tensors with symbolic and numeric scalars☆32Updated 6 years ago
- MiniZinc documentation☆16Updated 2 years ago
- Interactive Theorem Proving based on Inox☆10Updated 6 years ago
- An interpreter capable of executing a simple scripting language from a plain-text file☆14Updated 8 years ago
- This project has been moved to https://gitlab.com/cloogle/cloogle-web☆17Updated 4 years ago
- *Unofficial* mirror of https://bitbucket.org/MDukhan/yeppp☆40Updated 8 years ago
- Bioinformatics pipelines with Haskell and Shake☆56Updated 6 years ago
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆32Updated 13 years ago
- reimplementation of BioPerl classes in Raku (e.g. the language formerly known as Perl6)☆48Updated 7 years ago
- A scala based DSL and framework for writing and executing bioinformatics pipelines as Directed Acyclic GRaphs☆69Updated 3 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 7 years ago
- Example automatic differentiation code in Scala☆31Updated 5 years ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆77Updated 7 years ago
- Temporal Pathway Synthesizer☆17Updated last year
- Alef Lazily Evaluates Functions☆32Updated 12 years ago
- Implementation of the languages from the EOPL textbook in Haskell and Standard ML.☆15Updated 5 years ago
- Lean ported to Javascript with Emscripten☆27Updated 8 years ago
- ☆173Updated 4 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
- Truth-table generator for classical propositional logic☆26Updated 4 years ago
- NGLess: NGS with less work☆151Updated 8 months ago
- OCaml Bioinformatics Library☆124Updated 2 months ago
- A superior pairing function☆15Updated 6 years ago
- FOundation of stXXl and thriLL☆14Updated last year
- A simple cross-platform OCaml code editor built for top-level evaluation.☆65Updated 2 years ago