amnh / PCGLinks
๐๐๐ฎ๐ก๐ค๐๐๐ฃ๐๐ฉ๐๐ ๐พ๐ค๐ข๐ฅ๐ค๐ฃ๐๐ฃ๐ฉ ๐๐ง๐๐ฅ๐ โธบ Haskell program and libraries for general phylogenetic graph search
โ30Updated 3 years ago
Alternatives and similar repositories for PCG
Users that are interested in PCG are comparing it to the libraries listed below
Sorting:
- The LC3 virtual machineโ23Updated 6 months ago
- Combinatory automatic differentiation in Haskell for heterogeneous computing.โ22Updated 6 years ago
- Library of categories, with categorical constructions on themโ56Updated last year
- JHC Haskell compiler split into reusable componentsโ58Updated 6 years ago
- Issues and proposals related to the HF Stability Working Groupโ27Updated this week
- Dependently-typed finite maps (partial dependent products)โ66Updated 4 months ago
- Named parameters (keyword arguments) for Haskellโ95Updated 3 months ago
- Generate Haskell code from a typeโ136Updated 4 months ago
- GRIN backend for Idrisโ50Updated 5 years ago
- Some tools for provability logicโ37Updated 7 years ago
- Pre-processor for .hsc filesโ41Updated last week
- โ30Updated 3 weeks ago
- All the Transient librariesโ40Updated 2 months ago
- Functional teaching language for use in a discrete mathematics courseโ169Updated last week
- The theory of algebraic graphs formalised in Agdaโ90Updated 6 years ago
- Lecture notes for teaching Haskell to those who want to read itโ55Updated 3 years ago
- A simple library I wrote to allow me to quickly and easily construct command line interfaces.โ28Updated 2 years ago
- An efficient graph library for Haskellโ39Updated last month
- Lightweight package providing commonly useful parser combinatorsโ54Updated this week
- ฮปฮปฮปฮป Lennart Augustsson's ฮป-calculus cooked four waysโ53Updated 8 years ago
- RPG languages learning toolโ38Updated 5 years ago
- A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofsโ73Updated 3 years ago
- Implementing a small functional language with a combinator based graph-reduction machineโ31Updated last year
- Haskell Package Version Policy (PVP)โ38Updated 10 months ago
- โ40Updated 5 years ago
- Learn the Agda basics in three 2-hour sessions.โ59Updated last year
- โก๏ธEfficient implementation of Map with types as keysโ100Updated last year
- Fast haskell chess move generator library and console UCI frontendโ33Updated 5 months ago
- Bit vectors: 8x less memory, up to 3500x faster than Vector Boolโ72Updated 2 weeks ago
- Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)โ56Updated last year