Alternatives and similar repositories for rastermizer

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

• haskellari / some
  Existential type.
  ☆37Updated 4 months ago
• sheaf / if-instance
  GHC plugin to branch on whether a constraint is satisfied
  ☆33Updated last month
• TOTBWF / agda-tic-tac-toe
  Tic Tac Toe, formalized in Agda
  ☆23Updated 3 years ago
• frex-project / haskell-frex
  ☆23Updated last year
• chessai / ring-buffers
  concurrent mutable ring buffers with atomic updates in GHC Haskell
  ☆11Updated 4 years ago
• bergey / ghc-passes-graph
  ☆25Updated 4 years ago
• RiugaBachi / necrophagy
  A type-level, statically-verified Haskell embedded domain specific language (EDSL) for writing guitar tablature.
  ☆25Updated 2 years ago
• pigworker / Samizdat
  being bits and pieces I'm inclined to leave lying around
  ☆50Updated 5 months ago
• yobson / jhc-components
  JHC Haskell compiler split into reusable components
  ☆16Updated 2 years ago
• omelkonian / rewrite-inspector
  A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…
  ☆21Updated 5 years ago
• gergoerdi / clash-spaceinvaders
  Intel 8080-based Space Invaders arcade machine implemented on an FPGA, written in CLaSH
  ☆47Updated 2 years ago
• effectfully / Generic
  A library for doing generic programming in Agda
  ☆31Updated 4 years ago
• bgamari / ghc-dump
  A GHC plugin and library for analysing GHC Core
  ☆54Updated 3 months ago
• schell / varying
  Continuously varying values, made easy :)
  ☆42Updated 5 years ago
• yav / dump-core
  ☆45Updated 3 years ago
• nomeata / containers-verified
  A package re-exporting the verified subset of containers
  ☆20Updated 6 years ago
• nachivpn / nbe-course
  NbE course @ Chalmers
  ☆28Updated 7 months ago
• jyp / linear-smc
  Linear Types, Symmetric Monoidal Categories, and Tensors
  ☆12Updated last year
• bjpop / ministg
  Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.
  ☆72Updated 5 years ago
• faulhornlabs / csip
  ☆21Updated 3 weeks ago
• expipiplus1 / orbits
  A package dealing with Kepler orbits.
  ☆11Updated 2 years ago
• cau-placc / inversion-plugin
  ☆9Updated 6 months ago
• Jaak / TinyOutsideIn
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Updated 10 years ago
• schell / gelatin
  A nice Haskell graphics API. There's always room for jello.
  ☆41Updated 6 years ago
• phadej / idioms-plugins
  Hack idiom-brackets using GHC Source Plugin (8.6+)
  ☆25Updated 6 years ago
• ianmbloom / gudni
  Haskell-centric Fast Accurate Curve Rasterizer
  ☆24Updated 3 years ago
• laurmcarter / type-combinators
  Type level lists, pairs, sums, their operations, and their properties.
  ☆24Updated 6 years ago
• haskellari / splitmix
  Pure Haskell implementation of SplitMix pseudo-random number generator
  ☆25Updated 4 months ago
• plaidfinch / StrictCheck
  Keep your laziness in check!
  ☆33Updated 2 years ago
• andrewthad / accordion
  Extensible Records
  ☆12Updated 5 years ago