davnils / spotyView external linksLinks
Spotify web API in Haskell
☆13Mar 29, 2016Updated 9 years ago
Alternatives and similar repositories for spoty
Users that are interested in spoty are comparing it to the libraries listed below
Sorting:
- Automatic (re)compilation of Purescript code☆11Oct 12, 2022Updated 3 years ago
- A shallow embedding of the OpenGL Shading Language in Haskell☆14Jun 18, 2018Updated 7 years ago
- Type-level assertion operators☆16Mar 20, 2018Updated 7 years ago
- Zippers based on lenses and traversals☆41Aug 9, 2023Updated 2 years ago
- Command-line interface for querying EtymOnline.☆16Dec 24, 2025Updated last month
- experiments with pext/pdep and codebruijn syntax☆17Nov 17, 2019Updated 6 years ago
- A self-contained repository for the paper Type and Scope Preserving Semantics☆23Feb 2, 2019Updated 7 years ago
- A database migration library for Haskell☆22Jun 13, 2017Updated 8 years ago
- Formal verification of the Algorand consensus protocol☆27Nov 20, 2022Updated 3 years ago
- 🧠 Type-safe memory units☆61Nov 6, 2020Updated 5 years ago
- A usable type system for call by push-value☆33Dec 16, 2019Updated 6 years ago
- Pixel art for games☆139Dec 16, 2014Updated 11 years ago
- Examples for the book “Alex and Happy”☆34May 2, 2015Updated 10 years ago
- Coq proofs for the paper "Calculating Correct Compilers"☆31Dec 11, 2023Updated 2 years ago
- Minimal Haskell bindings to the FFmpeg library☆72Apr 27, 2024Updated last year
- A Coq to Cedille compiler written in Coq☆34Sep 22, 2020Updated 5 years ago
- A syntax checker for TOML files☆28Oct 29, 2019Updated 6 years ago
- Stack/cabal setup for testing xmonad* and configurations☆27Mar 3, 2021Updated 4 years ago
- CertiCrypt Coq Framework☆37Apr 6, 2016Updated 9 years ago
- LearnOpenGL.com examples ported to Haskell☆35Dec 14, 2024Updated last year
- A client library for the D-Bus IPC system.☆43Jan 17, 2026Updated 3 weeks ago
- A fork of jhc. And also a Haskell compiler.☆136Jun 8, 2019Updated 6 years ago
- ☆184Dec 13, 2025Updated 2 months ago
- VERified asSembler for cryptographic primitives☆12Jul 15, 2023Updated 2 years ago
- Topology library for Coq☆12Dec 24, 2015Updated 10 years ago
- Groupoids vs 1-Types☆11Nov 8, 2018Updated 7 years ago
- Small tagger app for Fedora Community☆15Oct 29, 2018Updated 7 years ago
- An attempt to formalize unix cat in fiat☆11May 28, 2017Updated 8 years ago
- XMSS[MT] commandline tool☆13Dec 18, 2023Updated 2 years ago
- Kubernetes, Emacs, done!☆10Dec 14, 2025Updated last month
- Rust library for multi-file readahead / dropbehind☆14May 31, 2017Updated 8 years ago
- Parser for ELF object format.☆11Dec 24, 2021Updated 4 years ago
- Python bindings for the JUCE library☆11Oct 27, 2014Updated 11 years ago
- A tool to create immutable algebraic data structures and visitors for Java (such as abstract syntax trees).☆16Jan 12, 2026Updated last month
- Packages your project using One-JAR™ (Mirror. Official repo is now https://github.com/sbt/sbt-onejar)☆34May 2, 2014Updated 11 years ago
- An exploration and implementation of the lambda calculus.☆12Oct 18, 2016Updated 9 years ago
- Kafka consumer & producer for scalaz-stream☆12Dec 15, 2017Updated 8 years ago
- Instances for QuickCheck classes☆17Jan 8, 2026Updated last month
- ☆12Feb 11, 2019Updated 7 years ago