raehik / binrep

Related projects ⓘ

Alternatives and complementary repositories for binrep

• phadej / staged
  Staged Streams and other stuff
  ☆18Updated 2 years ago
• sellout / compiling-anything-to-categories
  a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.
  ☆19Updated 7 months ago
• sheaf / ghc-tcplugin-api
  An interface for GHC type-checking plugins
  ☆20Updated last week
• Kleidukos / print-api
  Dump the declarations of Haskell modules
  ☆11Updated last week
• sweirich / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆28Updated 3 years ago
• phadej / overloaded
  Overloaded plugin
  ☆31Updated 4 months ago
• sheaf / if-instance
  GHC plugin to branch on whether a constraint is satisfied
  ☆30Updated last year
• haskellari / some
  Existential type.
  ☆36Updated 5 months ago
• ChrisPenner / catalyst
  There are many category theory implementations, but this one is mine
  ☆14Updated 2 months ago
• well-typed / recover-rtti
  Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).
  ☆33Updated 5 months ago
• expipiplus1 / orbits
  A package dealing with Kepler orbits.
  ☆11Updated 2 years ago
• noughtmare / gpc
  Leightweight generalized parser combinators
  ☆17Updated 11 months ago
• andriusstank / downhill
  ☆20Updated last year
• amesgen / jsaddle-wasm
  JSaddle integration for the GHC WASM backend
  ☆11Updated 2 weeks ago
• gelisam / magic-typelevel-elem
  Demonstrating how to make type families faster using typechecker plugins
  ☆21Updated 3 years ago
• tweag / timestats
  A library to profile time in a Haskell program
  ☆17Updated 5 months ago
• jespercockx / agda2scheme
  Compiler backend for generating Scheme code
  ☆25Updated 11 months ago
• clash-lang / ghc-typelits-extra
  Extra type-level operations on GHC.TypeLits.Nat and a custom solver
  ☆16Updated 2 months ago
• masaeedu / monadoptics
  Profunctor optics for the endofunctor category on Hask
  ☆27Updated 4 years ago
• JakobBruenker / monadic-bang
  GHC plugin to desugar ! into do-notation
  ☆37Updated 5 months ago
• liamoc / agda-snippets
  Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.
  ☆11Updated 7 years ago
• mwotton / roboservant
  generate contextually sensible fuzz tests for servant apps
  ☆26Updated last week
• Bodigrim / tasty-bench-fit
  Benchmark a given function for variable input sizes and find out its time complexity
  ☆25Updated 4 months ago
• ekmett / parsnip
  ☆18Updated 3 years ago
• Gabriella439 / defaultable-map
  Applicative maps
  ☆15Updated last month
• shapr / trynocular
  lazy generators with observation
  ☆15Updated last year
• deech / cabal-auto-expose
  ☆30Updated 3 years ago
• pointfree-wasm / pointfree-wasm.github.io
  Turn Haskell expressions into pointfree style in your browser with WASM
  ☆13Updated 3 weeks ago
• nh2 / hackage-download
  Script to download all of Hackage
  ☆14Updated 5 years ago
• emilypi / order
  Order theory
  ☆23Updated last year