A collection of type-based library search algorithms
☆12Sep 8, 2026Updated last month
Alternatives and similar repositories for type-search-zoo
Users that are interested in type-search-zoo are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Existential witnesses, singletons, and classes for operations on GHC TypeLits☆16Jul 25, 2024Updated 2 years ago
- Simple Haskell package for efficiently indexable finite and infinite enumerations.☆12Apr 22, 2025Updated last year
- Existential type.☆37May 10, 2026Updated 5 months ago
- ☆13Oct 2, 2018Updated 8 years ago
- A simple demo of Nixifying a multi-package Haskell project☆20Oct 24, 2025Updated 11 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A toy nanopass compiler for x86 written in lean☆15Oct 25, 2025Updated 11 months ago
- Selective applicative functors laws and theorems☆15Mar 12, 2020Updated 6 years ago
- 『TypeScriptではじめる型システム』（n月刊ラムダノート2024, Vol.4, No.3）サポートサイト☆89May 8, 2025Updated last year
- Using Haskell's type system to guarantee commutativity.☆17Aug 1, 2013Updated 13 years ago
- Information about concrete categories relevant to universal algebra☆20Apr 14, 2026Updated 6 months ago
- CDK for creating an AWS Elastic Container Service Fargate Spot Instance Server☆11Sep 29, 2024Updated 2 years ago
- Haskell bindings to the Eigen C++ library☆16May 23, 2024Updated 2 years ago
- ☆12Sep 6, 2017Updated 9 years ago
- Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]☆12Aug 11, 2024Updated 2 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor☆84Jan 10, 2026Updated 9 months ago
- Math matrix library for SATySFi☆14Oct 15, 2019Updated 7 years ago
- Automatic type class law checking.☆24May 2, 2026Updated 5 months ago
- Integrate Relay experimental and 3rd party Hooks with Next.js SSG☆12Jan 6, 2023Updated 3 years ago
- AWS CDK of Laravel application on ECS Fargate with VPC, RDS, ALB and CICD Pipeline.☆10Jan 5, 2023Updated 3 years ago
- Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]☆57Updated this week
- This action will create a private repository in the namespace (Org or User) of the calling workflow.☆11Sep 2, 2022Updated 4 years ago
- The PureScript implementation for the *Types and Programming Language* by B. Pierce☆20Jun 3, 2024Updated 2 years ago
- ☆47Jan 9, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Semantic Type Soundness in Lean 4☆19Sep 28, 2026Updated 2 weeks ago
- Dependent sums and supporting typeclasses for comparing and displaying them☆57Nov 20, 2023Updated 2 years ago
- Compiler backend for generating Scheme code☆31Nov 27, 2025Updated 10 months ago
- Typeset source code with SATySFi☆16Jan 1, 2025Updated last year
- A quasiquoter for neat and simple multiline text interpolation☆58Oct 11, 2023Updated 3 years ago
- Numerical optimization with support for stochastic optimization, mostly for my own experimental usage☆13Jul 6, 2020Updated 6 years ago
- ☆20Sep 9, 2026Updated last month
- lapisla is a *battery-pluggable* theorem prover and ecosystem designed for everyone. Greetings! 👋☆56Dec 15, 2025Updated 10 months ago
- MPI bindings for Haskell☆18Aug 3, 2026Updated 2 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- An user-space NAT46 and DNS46 translator for Linux☆20Mar 26, 2023Updated 3 years ago
- Julia package for loop invariant generation☆12Nov 17, 2020Updated 5 years ago
- ☆16Nov 6, 2021Updated 4 years ago
- Synthesizer (using Web Audio API)☆14Dec 30, 2020Updated 5 years ago
- ☆13Updated this week
- A tutorial on writing a concurrency testing tool in Haskell☆12Nov 5, 2017Updated 8 years ago
- ☆19Aug 22, 2022Updated 4 years ago