Alternatives and similar repositories for acme-cutegirl

Users that are interested in acme-cutegirl are comparing it to the libraries listed below

• sweirich / corespec
  A Specification for Dependent Types in Haskell (Core)
  ☆64Updated 3 years ago
• gelisam / ludum-dare-31
  The theme for LD31 was "Entire Game on One Screen"
  ☆29Updated 8 years ago
• lexi-lambda / higher-rank
  A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism
  ☆101Updated 8 years ago
• phadej / bound-extras
  ScopeT and ScopeH
  ☆13Updated last year
• tranma / empirical-big-oh
  Measure time complexity empirically.
  ☆48Updated 9 years ago
• vmchale / atspkg
  Build tool for ATS.
  ☆42Updated 3 years ago
• vrom911 / Rum
  Compiler for the Rum language
  ☆26Updated 6 years ago
• ezyang / compact
  Compact regions library for Haskell
  ☆82Updated last year
• bennofs / haskell-generate
  Type-safe library for generating haskell source code
  ☆28Updated 7 years ago
• TikhonJelvis / modular-arithmetic
  A useful type for working with integers modulo some constant.
  ☆30Updated 2 years ago
• sbp / idris-bi
  Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq
  ☆36Updated 4 years ago
• ekmett / thc
  An experimental "Turbo" Haskell Runtime - Nothing really to see here yet
  ☆17Updated 10 years ago
• pietervdvn / ALGT2
  ALGT 2.0
  ☆30Updated 5 years ago
• langston-barrett / CoverTranslator
  A tool for formally verifying Haskell code in Agda
  ☆28Updated 8 years ago
• ix / lazyboy
  An EDSL implemented in Haskell for programming the Nintendo Game Boy.
  ☆49Updated last year
• soenkehahn / dead-code-detection
  ☆25Updated 9 years ago
• nomeata / veggies
  Hopefully verifiable code generation in GHC
  ☆94Updated 8 years ago
• chrisdone-archive / prana
  Interpreter for GHC Haskell
  ☆22Updated 5 years ago
• evertedsphere / noether
  Highly polymorphic algebraic structures with custom deriving strategies
  ☆30Updated 3 years ago
• roelvandijk / base-unicode-symbols
  Unicode alternatives for common functions and operators
  ☆36Updated 3 years ago
• puffnfresh / leftpad.hs
  Verified left pad
  ☆19Updated 7 years ago
• glguy / generic-traverse
  Demonstration for how to build "traverse" using GHC.Generics efficiently
  ☆22Updated 6 years ago
• gergoerdi / tandoori
  Compositional type checking for Haskell
  ☆37Updated 14 years ago
• tweag / linear-types
  Drafts, notes and resources for adding linear typing to GHC.
  ☆79Updated 5 years ago
• alpheccar / HPDF
  Haskell library for PDF generation (graphics and typesetting)
  ☆27Updated 5 years ago
• jwiegley / bytestring-fiat
  An implementation of the Haskell ByteString library using the Fiat system from MIT
  ☆34Updated 3 years ago
• csabahruska / jhc-components
  JHC Haskell compiler split into reusable components
  ☆57Updated 6 years ago
• discus-lang / salt
  The compilation target that functional programmers always wanted.
  ☆62Updated 5 years ago
• lambdabot / lambdabot
  A friendly IRC bot and apprentice coder, written in Haskell.
  ☆165Updated 4 months ago
• evertedsphere / sound-and-complete
  An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system
  ☆84Updated 7 years ago