minoki / rounded-hw

Related projects ⓘ

Alternatives and complementary repositories for rounded-hw

• RyanGlScott / eliminators
  Dependently typed elimination functions using singletons
  ☆28Updated 3 weeks ago
• cdepillabout / world-peace
  open union and open product types in Haskell
  ☆32Updated 4 years ago
• Jaak / TinyOutsideIn
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Updated 9 years ago
• ku-fpg / natural-transformation
  A natural transformation package
  ☆16Updated 3 weeks ago
• sacundim / free-operational
  Operational-style Applicative, Alternative, Monad and MonadPlus, using free monads.
  ☆25Updated 7 years ago
• ekmett / intervals
  Interval Arithmetic
  ☆27Updated 3 weeks ago
• goldfirere / th-desugar
  Desugars Template Haskell abstract syntax to a simpler format without changing semantics
  ☆20Updated 3 weeks ago
• kowainik / first-class-patterns
  First class patterns and pattern matching, using type families
  ☆17Updated 4 years ago
• HuwCampbell / idris-lens
  van Laarhoven lenses for Idris
  ☆20Updated 7 years ago
• haskell / deepseq
  Deep evaluation of data structures
  ☆41Updated 2 months ago
• mstksg / lens-typelevel
  Type-level lenses using singletons because why not
  ☆15Updated 5 years ago
• reinerp / indexed
  Haskell98 indexed functors, monads, comonads
  ☆25Updated 2 years ago
• haskell-vanguard / haskell-vanguard
  Operation Vanguard: fixing a number of Haskell packages at once
  ☆11Updated 5 years ago
• ekmett / heaps
  Asymptotically optimal Brodal/Okasaki heaps
  ☆29Updated 3 weeks ago
• edsko / tracetree
  Visualization of Haskell data structures
  ☆14Updated 9 months ago
• haskell-perf / csv
  Simple comparative benchmarks for CSV parsing libraries
  ☆17Updated 5 years ago
• tdammers / ghc-wiki
  The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)
  ☆12Updated 5 years ago
• ekmett / tagged
  phantom types
  ☆37Updated 2 months ago
• llvm-hs / llvm-hs-typed
  Type Safe LLVM IR ( Experimental )
  ☆49Updated 6 years ago
• qfpl / ban-instance
  Declare that a typeclass instance should not exist.
  ☆12Updated 6 months ago
• agentultra / DataVersion
  ☆20Updated last year
• TheMatten / hask
  Funny little Haskell impl
  ☆18Updated 4 years ago
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆33Updated 2 months ago
• japesinator / Idris-Bifunctors
  A small bifunctor library for idris
  ☆21Updated 3 years ago
• ekmett / half
  half-precision floating-point
  ☆14Updated 3 weeks ago
• scmu / mrm
  Modular Reifiable Matching, A List-of-Functors Approach to Two-Level Types
  ☆9Updated 7 years ago
• robrix / abstract-interpretation
  Experiments in abstracting definitional interpreters
  ☆16Updated 7 years ago
• nikita-volkov / base-prelude
  The most complete prelude formed only from the "base" package
  ☆28Updated last year
• ekmett / hkd
  higher-kinded data
  ☆30Updated last year
• pepeiborra / gc-benchmarks
  Benchmarks using the non-moving incremental GHC garbage collector
  ☆22Updated 5 years ago