Levenshtein edit distance, packaged for ATS
☆12Apr 11, 2022Updated 3 years ago
Alternatives and similar repositories for edit-distance
Users that are interested in edit-distance are comparing it to the libraries listed below
Sorting:
- Build tool for ATS.☆42Apr 11, 2022Updated 3 years ago
- A build tool/package manager for C, configured with Dhall☆67Nov 6, 2023Updated 2 years ago
- Library and tool for parsing .eventlog files from GHC☆37Feb 18, 2026Updated last week
- ScopeT and ScopeH☆13Aug 3, 2024Updated last year
- Library of simd functions☆19Jul 24, 2025Updated 7 months ago
- GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)☆16Dec 13, 2018Updated 7 years ago
- Dafny for Metatheory of Programming Languages☆29Feb 6, 2026Updated 3 weeks ago
- Example uses of linear types☆42Jun 25, 2020Updated 5 years ago
- Integration of the Warp webserver with Let's Encrypt☆19Mar 7, 2017Updated 8 years ago
- Helper package for working with SVG in Reflex☆21Mar 24, 2023Updated 2 years ago
- Protocol Buffers library for Haskell☆22Jul 18, 2021Updated 4 years ago
- cabal in Valle☆43May 31, 2021Updated 4 years ago
- migrated to Codeberg☆16Sep 3, 2025Updated 5 months ago
- Simple, IO-based Haskell library for Erlang-inspired thread supervisors☆29Jun 7, 2022Updated 3 years ago
- The theme for LD31 was "Entire Game on One Screen"☆27Dec 18, 2016Updated 9 years ago
- Github project where I track everything related to my thesis☆28Sep 2, 2016Updated 9 years ago
- Command line interface library in Idris☆33Jul 26, 2024Updated last year
- Some operator abuse☆29Oct 23, 2017Updated 8 years ago
- ☆20Nov 23, 2025Updated 3 months ago
- A syntax checker for TOML files☆28Oct 29, 2019Updated 6 years ago
- The first OpenSource Mafia Bot!☆10Oct 5, 2023Updated 2 years ago
- Radiocarbon calibration command line tool and Haskell module☆11Nov 24, 2025Updated 3 months ago
- T-Sql type checker that detects improper joins, invalid null value operations, enumeration check constraint violations, incorrect use of …☆11May 14, 2018Updated 7 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆46Jan 12, 2026Updated last month
- First class composable record labels for Haskell.☆68Oct 23, 2025Updated 4 months ago
- ☆38Jan 11, 2026Updated last month
- EagleRepair fixes static analysis warnings in C# programs. Easy to use. Blazing fast. Based on research.☆12Feb 27, 2023Updated 3 years ago
- OData Browser for the iPhone☆26Aug 7, 2010Updated 15 years ago
- Tool to convert dotnet core dependencies to nix expressions, this project itself is the test case for now☆11Oct 11, 2022Updated 3 years ago
- Summoner's core SDK for building and deploying agents☆13Feb 18, 2026Updated last week
- High-reproducibility CWL runner powered by Guix☆21Jan 28, 2026Updated last month
- A verified permissioned centralized Blockchain for Isabelle/HOL☆11Feb 3, 2018Updated 8 years ago
- ☆35Dec 29, 2015Updated 10 years ago
- <RPC (HATEOAS) actions on a universally addressable publickey>. Copernica is a transport agnostic, privacy preserving, Information-centri…☆11Jun 14, 2022Updated 3 years ago
- A fast open-union type, suitable for 100+ contained alternatives.☆100Apr 28, 2024Updated last year
- ☆67Jul 19, 2025Updated 7 months ago
- 🗣 A command line tool that can generate English verbal descriptions for Scala source files or snippets.☆11Mar 5, 2018Updated 7 years ago
- Tokenizing Text Box (WPF)☆11Apr 15, 2020Updated 5 years ago
- Русификатор для System Shock 2☆12Oct 10, 2024Updated last year