Haskell port of AtCoder Library (ACL) + many Extra modules
☆20Apr 26, 2026Updated this week
Alternatives and similar repositories for ac-library-hs
Users that are interested in ac-library-hs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Minimal Perfect Hash-Table CL Implementation☆16Jan 31, 2018Updated 8 years ago
- Missing utilities for Linear Haskell, for array, witness token, memory, parallelism, and streaming.☆14Dec 29, 2025Updated 4 months ago
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)☆15Feb 15, 2018Updated 8 years ago
- Quickcheck Properties for common typeclasses☆35Dec 27, 2025Updated 4 months ago
- Closure XML - A Common Lisp XML Parser☆17Apr 29, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- forked Christophe Rhodes's PAIProlog that an update of Peter Norvig's "Prolog in Common Lisp".☆20Feb 24, 2018Updated 8 years ago
- ☆21Oct 31, 2025Updated 6 months ago
- A tool to add, remove and check for `tracing::instrument` in large projects where it is infeasible to manually add it to thousands of fun…☆15Oct 13, 2023Updated 2 years ago
- text transformer to put timestamps. It is very useful for logging.☆11Jan 15, 2022Updated 4 years ago
- 『これは、愛情表現？』☆19Jan 27, 2019Updated 7 years ago
- my blog☆19Jan 1, 2025Updated last year
- Advanced seed data handling for Rails, combining the best practices of several methods together.☆36Apr 5, 2026Updated 3 weeks ago
- private repository checkout action via github apps☆11Dec 28, 2022Updated 3 years ago
- Portable simple API to work with backtraces in Common Lisp☆14Jan 16, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Example for writing a simple parser using Nom and Rust☆10Nov 19, 2020Updated 5 years ago
- implementation of bk-tree for golang☆12Jan 25, 2021Updated 5 years ago
- Hindley–Milner type inference implemented in Python.☆12Jun 7, 2023Updated 2 years ago
- 高橋Monad☆17May 24, 2017Updated 8 years ago
- cli interface for todo.ly☆11Jul 10, 2017Updated 8 years ago
- Sean's Personalized Development Environment☆11Feb 9, 2026Updated 2 months ago
- Portability library for CL gray streams.☆23Feb 17, 2024Updated 2 years ago
- An implementation of a Relaxed Radix Balanced Vector in Haskell.☆31Apr 16, 2026Updated 2 weeks ago
- Rust library for easily calling ispell and aspell☆13Jul 4, 2020Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- GitHub action for standard CI in Lean projects☆32Apr 22, 2026Updated last week
- Extracts (tangles) code fragments from Markdown documents.☆17Apr 10, 2026Updated 2 weeks ago
- Go package for reading Day One journal files (http://dayoneapp.com)☆10Jul 7, 2015Updated 10 years ago
- An example project for the nix copy utility☆15Oct 10, 2023Updated 2 years ago
- Generic Associated Types lang team initiative☆13Jan 25, 2023Updated 3 years ago
- Typeclasses for Nim☆31May 2, 2024Updated last year
- Deploy nim applications to heroku.☆20Jul 11, 2022Updated 3 years ago
- Normalise GHC.TypeLits.Nat equations☆44Updated this week
- MSBuild task that merges selected referenced assemblies into your project's output assembly at build time.☆11Apr 20, 2026Updated last week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 📚 (WIP) Formal proofs of "An Infinitely Large Napkin"☆22Feb 18, 2026Updated 2 months ago
- An example of how to construct a parser combinator library in C++. Focus on simplicity, not efficiency.☆25Mar 30, 2021Updated 5 years ago
- ZLIB compression in Common Lisp☆21Jan 6, 2024Updated 2 years ago
- ☆16Jan 1, 2020Updated 6 years ago
- Prune is a constraint logic programming language with branching heuristic.☆35Mar 26, 2026Updated last month
- Useful Variant Type and Powerful Pattern Matching for Nim☆28Jun 5, 2020Updated 5 years ago
- [DEPRECATED] Helper for https://github.com/taiki-e/cargo-llvm-cov/issues/123.☆11Jan 18, 2025Updated last year