Alternatives and similar repositories for spoty

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

• adinapoli / snaplet-purescript

  View on GitHub
  Automatic (re)compilation of Purescript code
  ☆11Oct 12, 2022Updated 3 years ago
• schell / ixshader

  View on GitHub
  A shallow embedding of the OpenGL Shading Language in Haskell
  ☆14Jun 18, 2018Updated 7 years ago
• jship / tao

  View on GitHub
  Type-level assertion operators
  ☆16Mar 20, 2018Updated 7 years ago
• ekmett / zippers

  View on GitHub
  Zippers based on lenses and traversals
  ☆41Aug 9, 2023Updated 2 years ago
• conorsch / etym

  View on GitHub
  Command-line interface for querying EtymOnline.
  ☆16Dec 24, 2025Updated last month
• ekmett / codebruijn

  View on GitHub
  experiments with pext/pdep and codebruijn syntax
  ☆17Nov 17, 2019Updated 6 years ago
• gallais / type-scope-semantics

  View on GitHub
  A self-contained repository for the paper Type and Scope Preserving Semantics
  ☆23Feb 2, 2019Updated 7 years ago
• positiondev / rivet

  View on GitHub
  A database migration library for Haskell
  ☆22Jun 13, 2017Updated 8 years ago
• runtimeverification / algorand-verification

  View on GitHub
  Formal verification of the Algorand consensus protocol
  ☆27Nov 20, 2022Updated 3 years ago
• kowainik / membrain

  View on GitHub
  🧠 Type-safe memory units
  ☆61Nov 6, 2020Updated 5 years ago
• LightAndLight / cbpv

  View on GitHub
  A usable type system for call by push-value
  ☆33Dec 16, 2019Updated 6 years ago
• mchakravarty / BigPixel

  View on GitHub
  Pixel art for games
  ☆139Dec 16, 2014Updated 11 years ago
• jmoy / alexhappy

  View on GitHub
  Examples for the book “Alex and Happy”
  ☆34May 2, 2015Updated 10 years ago
• pa-ba / calc-comp

  View on GitHub
  Coq proofs for the paper "Calculating Correct Compilers"
  ☆31Dec 11, 2023Updated 2 years ago
• acowley / ffmpeg-light

  View on GitHub
  Minimal Haskell bindings to the FFmpeg library
  ☆72Apr 27, 2024Updated last year
• pedrotst / coquedille

  View on GitHub
  A Coq to Cedille compiler written in Coq
  ☆34Sep 22, 2020Updated 5 years ago
• vmchale / tomlcheck

  View on GitHub
  A syntax checker for TOML files
  ☆28Oct 29, 2019Updated 6 years ago
• xmonad / xmonad-testing

  View on GitHub
  Stack/cabal setup for testing xmonad* and configurations
  ☆27Mar 3, 2021Updated 4 years ago
• EasyCrypt / certicrypt

  View on GitHub
  CertiCrypt Coq Framework
  ☆37Apr 6, 2016Updated 9 years ago
• dmjio / LearnOpenGL.hs

  View on GitHub
  LearnOpenGL.com examples ported to Haskell
  ☆35Dec 14, 2024Updated last year
• rblaze / haskell-dbus

  View on GitHub
  A client library for the D-Bus IPC system.
  ☆43Jan 17, 2026Updated 3 weeks ago
• ajhc / ajhc

  View on GitHub
  A fork of jhc. And also a Haskell compiler.
  ☆136Jun 8, 2019Updated 6 years ago
• jwiegley / gitlib

  View on GitHub
  ☆184Dec 13, 2025Updated 2 months ago
• raaz-crypto / verse-coq

  View on GitHub
  VERified asSembler for cryptographic primitives
  ☆12Jul 15, 2023Updated 2 years ago
• dschepler / coq-topology

  View on GitHub
  Topology library for Coq
  ☆12Dec 24, 2015Updated 10 years ago
• nmvdw / groupoids

  View on GitHub
  Groupoids vs 1-Types
  ☆11Nov 8, 2018Updated 7 years ago
• fedora-infra / fedora-tagger

  View on GitHub
  Small tagger app for Fedora Community
  ☆15Oct 29, 2018Updated 7 years ago
• shlevy / cat-fiat

  View on GitHub
  An attempt to formalize unix cat in fiat
  ☆11May 28, 2017Updated 8 years ago
• bwesterb / xmssmt

  View on GitHub
  XMSS[MT] commandline tool
  ☆13Dec 18, 2023Updated 2 years ago
• emacsmirror / kubed

  View on GitHub
  Kubernetes, Emacs, done!
  ☆10Dec 14, 2025Updated last month
• the8472 / reapfrog

  View on GitHub
  Rust library for multi-file readahead / dropbehind
  ☆14May 31, 2017Updated 8 years ago
• wangbj / elf

  View on GitHub
  Parser for ELF object format.
  ☆11Dec 24, 2021Updated 4 years ago
• abhijitnandy2011 / PyJuce

  View on GitHub
  Python bindings for the JUCE library
  ☆11Oct 27, 2014Updated 11 years ago
• andreasabel / java-adt

  View on GitHub
  A tool to create immutable algebraic data structures and visitors for Java (such as abstract syntax trees).
  ☆16Jan 12, 2026Updated last month
• retronym / sbt-onejar

  View on GitHub
  Packages your project using One-JAR™ (Mirror. Official repo is now https://github.com/sbt/sbt-onejar)
  ☆34May 2, 2014Updated 11 years ago
• parsonsmatt / lambda

  View on GitHub
  An exploration and implementation of the lambda calculus.
  ☆12Oct 18, 2016Updated 9 years ago
• Verizon / mutatis

  View on GitHub
  Kafka consumer & producer for scalaz-stream
  ☆12Dec 15, 2017Updated 8 years ago
• haskellari / qc-instances

  View on GitHub
  Instances for QuickCheck classes
  ☆17Jan 8, 2026Updated last month
• michaelpj / abstract-machine-debuggers

  View on GitHub
  ☆12Feb 11, 2019Updated 7 years ago