vmchale / edit-distance
Levenshtein edit distance, packaged for ATS
☆11Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for edit-distance
- Reasonable Haskell default import☆27Updated 2 years ago
- static analysis of free monads☆25Updated 6 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 7 months ago
- A simple XML module for Idris.☆13Updated 4 years ago
- Type Safe LLVM IR ( Experimental )☆49Updated 6 years ago
- "Fail Fast" process management for Haskell; inspired by Erlang☆16Updated 7 years ago
- GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…☆10Updated 9 months ago
- GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)☆16Updated 5 years ago
- An experimental intermediate language for GHC☆37Updated 7 years ago
- Quasiquoter for LLVM☆31Updated 6 years ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 6 years ago
- Build tool for ATS.☆41Updated 2 years ago
- Library and tool for parsing .eventlog files from GHC☆33Updated this week
- Benchmarks using the non-moving incremental GHC garbage collector☆22Updated 5 years ago
- Category theory formalized in cubical agda☆20Updated 4 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 6 years ago
- Automatic type class law checking.☆24Updated 11 months ago
- Tools for functors from Hask^k to Hask☆23Updated 5 years ago
- ☆23Updated 7 years ago
- Alternative Core language for GHC plugins☆39Updated 8 years ago
- An Idris type provider for communicating type-checkable protocols.☆26Updated 7 years ago
- effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy☆16Updated last month
- van Laarhoven lenses for Idris☆20Updated 7 years ago
- A small bifunctor library for idris☆21Updated 3 years ago
- Pure Haskell implementation of SplitMix pseudo-random number generator☆25Updated 3 months ago
- deprecated in favor of -XQualifiedDo☆41Updated 3 years ago
- Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …☆3Updated 3 years ago
- A recursion scheme library for Idris.☆24Updated last week
- An OS written in Idris (eventually...)☆18Updated 9 years ago
- open union and open product types in Haskell☆32Updated 4 years ago