typedbyte / switchLinks
A library for interacting with Nintendo Switch controllers, written in Haskell.
β111Updated 3 years ago
Alternatives and similar repositories for switch
Users that are interested in switch are comparing it to the libraries listed below
Sorting:
- Chapelure is a diagnostic library for Haskellβ45Updated 2 years ago
- π Profunctor based lightweight implementation of Lensesβ72Updated 2 years ago
- A collection of Notes on GHCβ71Updated 6 years ago
- Hypertypes - generic programming for heterogeneous recursive typesβ125Updated last year
- Efficient Haskell effect handlers based on evidence translation.β86Updated 4 years ago
- βοΈ A refinement proof framework for haskellβ70Updated 2 years ago
- β‘οΈEfficient implementation of Map with types as keysβ102Updated 3 weeks ago
- Convert values from one type into another.β78Updated 3 weeks ago
- Named parameters (keyword arguments) for Haskellβ98Updated 10 months ago
- Library for generating Haskell source files and code fragments.β100Updated last month
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.β98Updated last month
- β53Updated 5 years ago
- β87Updated 4 years ago
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)β69Updated 5 months ago
- Visual tool to spot odd runtime behaviour of Haskell programs.β109Updated 4 years ago
- A structured concurrency libraryβ86Updated 11 months ago
- Pre-processor for .hsc filesβ43Updated last month
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005β84Updated 2 weeks ago
- Fast and concise extensible effectsβ109Updated 2 years ago
- π§ a work in progress effect system for Haskell π§β138Updated 2 years ago
- Tactic Metaprogramming in Haskellβ56Updated 6 years ago
- fleet-footed ByteString builderβ52Updated last year
- Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)β63Updated 6 months ago
- Comparing Haskell effect systems for ergonomics and speedβ66Updated 4 years ago
- π Parse Haskell Language Extensionsβ48Updated 4 months ago
- A syntax for unions of constraints in Haskellβ70Updated 8 years ago
- Haskeline wrapper for GHCi-like REPL interfacesβ108Updated 8 months ago
- βοΈβπ Convenient interface for printing colourful messagesβ71Updated last week
- Generates a references DB from .hie filesβ68Updated 2 weeks ago
- Command line version of Wordle.β59Updated 3 years ago