Alternatives and similar repositories for claap

Users that are interested in claap are comparing it to the libraries listed below

• TobiReinhart / sparse-tensor

  View on GitHub
  typesafe implementation of tensor algebra in Haskell
  ☆13Feb 27, 2021Updated 4 years ago
• GaloisInc / cryfsm

  View on GitHub
  convert simple cryptol expressions into finite-state machines
  ☆22Sep 15, 2017Updated 8 years ago
• sellout / dredd

  View on GitHub
  Automatic type class law checking.
  ☆24Dec 19, 2025Updated last month
• fpco / say

  View on GitHub
  Send textual messages to a Handle in a thread-friendly way
  ☆29Aug 15, 2018Updated 7 years ago
• jtanguy / hmacaroons

  View on GitHub
  Pure haskell implementation of macaroons
  ☆14Jan 26, 2021Updated 5 years ago
• proglang / ldgv

  View on GitHub
  Label dependent dependent session types
  ☆16May 2, 2024Updated last year
• bobatkey / sorting-types

  View on GitHub
  Typed DSLs for sorting
  ☆20Feb 16, 2018Updated 7 years ago
• ocramz / taco-hs

  View on GitHub
  Haskell port of the Tensor Algebra COmpiler
  ☆16Nov 18, 2019Updated 6 years ago
• mrkgnao / pico

  View on GitHub
  The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)
  ☆15Feb 15, 2018Updated 7 years ago
• jwiegley / haskell-to-c

  View on GitHub
  Sample code to build a C library from a Haskell module, then call it from C
  ☆16Jun 22, 2017Updated 8 years ago
• csabahruska / jhc-grin

  View on GitHub
  GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)
  ☆16Dec 13, 2018Updated 7 years ago
• jship / tao

  View on GitHub
  Type-level assertion operators
  ☆16Mar 20, 2018Updated 7 years ago
• msprotz / proof-search-monad

  View on GitHub
  Tentative write-up of a neat trick used in the Mezzo type-checker
  ☆15Nov 27, 2015Updated 10 years ago
• typeable / nixpkgs-stackage

  View on GitHub
  Stackage overlay for Nixpkgs
  ☆25Apr 15, 2020Updated 5 years ago
• i-am-tom / dagless

  View on GitHub
  A monadic interface for DAG construction.
  ☆24May 11, 2021Updated 4 years ago
• mikeizbicki / homoiconic

  View on GitHub
  Constructs FAlgebras from typeclasses, making Haskell functions homoiconic
  ☆18May 15, 2019Updated 6 years ago
• sdiehl / galois-fft

  View on GitHub
  Finite field polynomial arithmetic based on fast Fourier transforms
  ☆19Nov 15, 2020Updated 5 years ago
• frex-project / haskell-frex

  View on GitHub
  ☆24Aug 11, 2023Updated 2 years ago
• andrewthad / packed

  View on GitHub
  Unpinned byte arrays in GHC haskell
  ☆22Jan 8, 2019Updated 7 years ago
• jwiegley / coq-cds4ltl

  View on GitHub
  A formal verification of Linear Temporal Logic in Coq
  ☆23Nov 18, 2025Updated 2 months ago
• snoyberg / warp-letsencrypt

  View on GitHub
  Integration of the Warp webserver with Let's Encrypt
  ☆19Mar 7, 2017Updated 8 years ago
• sdiehl / shamir

  View on GitHub
  Shamir Secret Sharing
  ☆21Nov 27, 2019Updated 6 years ago
• haskell-suite / haskell-tc

  View on GitHub
  Haskell typechecker
  ☆39May 7, 2019Updated 6 years ago
• kayhide / wakame

  View on GitHub
  Haskell library of row polymorphic record manipulator
  ☆23Oct 19, 2020Updated 5 years ago
• ga / haskell

  View on GitHub
  A geometric algebra implementation in Haskell
  ☆32Sep 7, 2020Updated 5 years ago
• jonascarpay / convoluted

  View on GitHub
  Dependently typed convolutional neural networks
  ☆35May 10, 2017Updated 8 years ago
• hackage-trustees / hackage-cli

  View on GitHub
  CLI tool for Hackage
  ☆27Sep 1, 2025Updated 5 months ago
• evincarofautumn / Toody

  View on GitHub
  A two-dimensional parser combinator library.
  ☆42May 26, 2017Updated 8 years ago
• patrickt / empathy

  View on GitHub
  a modern library for typed path manipulation in Haskell
  ☆36Jul 24, 2025Updated 6 months ago
• klapaucius / vector-hashtables

  View on GitHub
  ☆38Jan 11, 2026Updated last month
• phadej / write-yourself-a-typed-functional-language

  View on GitHub
  Write yourself a typed functional language
  ☆65Oct 11, 2018Updated 7 years ago
• benjaminselfridge / logix

  View on GitHub
  Logic Explorer - customizable proof construction tool for sequent calculi
  ☆21Jun 3, 2022Updated 3 years ago
• spinda / liquidhaskell-cabal

  View on GitHub
  💧 Liquid Haskell integration for Cabal and Stack
  ☆25May 30, 2019Updated 6 years ago
• composewell / compact-list

  View on GitHub
  An append only list in a compact region
  ☆25Sep 6, 2018Updated 7 years ago
• nh2 / hatrace

  View on GitHub
  scriptable strace
  ☆125Jul 22, 2020Updated 5 years ago
• DougBurke / astro-haskell

  View on GitHub
  IHaskell notebooks showing how Haskell can be used in Astronomy.
  ☆23Apr 23, 2015Updated 10 years ago
• idontgetoutmuch / Kalman

  View on GitHub
  Extended Kalman filtering in Haskell
  ☆23Oct 31, 2018Updated 7 years ago
• chessai / streaming-fft

  View on GitHub
  sliding fast fourier transform using haskell streaming
  ☆13Feb 19, 2019Updated 6 years ago
• TravisWhitaker / libglaswegian

  View on GitHub
  Use GHC's Memory Allocator from C
  ☆12Feb 22, 2020Updated 5 years ago