sgillespie / lambda-calculator

Related projects ⓘ

Alternatives and complementary repositories for lambda-calculator

• typedbyte / hagato
  Haskell Gamedev Toolkit, a library for developing games from scratch.
  ☆66Updated 11 months ago
• AndrasKovacs / staged-fusion
  Staged push/pull fusion with typed Template Haskell
  ☆57Updated 11 months ago
• ekmett / placeholder
  todo and unimplemented, robustly implemented
  ☆34Updated 2 months ago
• chshersh / dr-cabal
  📊 Haskell dependencies build times profiler
  ☆74Updated last year
• aaronallen8455 / breakpoint
  Set breakpoints using a GHC plugin
  ☆47Updated 6 months ago
• CrystalSplitter / ghcitui
  A Terminal User Interface for the Glasgow Haskell Compiler Interactive Mode
  ☆57Updated last week
• tomsmeding / pastebin-haskell
  Pastebin service in haskell
  ☆31Updated 5 months ago
• tomjaguarpaw / bluefin
  ☆74Updated this week
• qnikst / ghc-timings-report
  Experimental tool to build reports on GHC build time for your projects.
  ☆24Updated last year
• haskell-text / text-display
  A Typeclass for user-facing output
  ☆54Updated 3 weeks ago
• josephsumabat / static-ls
  ☆141Updated this week
• Bodigrim / linear-builder
  Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.
  ☆88Updated 3 months ago
• cdupont / Timeloop
  ☆40Updated last year
• input-output-hk / io-sim
  Haskell's IO simulator which closely follows core packages (base, async, stm).
  ☆38Updated this week
• jonascarpay / calligraphy
  haskell source code visualizer
  ☆98Updated last year
• well-typed / visualize-cbn
  ☆97Updated 3 months ago
• takenobu-hs / haskell-ghc-reading-guide
  Haskell GHC reading guide
  ☆35Updated 3 years ago
• phadej / cabal-fmt
  An experiment of formatting .cabal files
  ☆104Updated 5 months ago
• anton-k / hindley-milner-type-check
  Haskell library for type-inference with Hindley-Milner type-system.
  ☆33Updated 5 months ago
• aveltras / setting-up-a-haskell-development-environment-with-nix
  Setting up a Haskell development environment with Nix
  ☆20Updated 4 years ago
• haskellfoundation / error-message-index
  A community-driven collection of documentation for Haskell error messages and warnings
  ☆102Updated 3 weeks ago
• tfausak / cabal-gild
  Format Haskell package descriptions.
  ☆49Updated last month
• NorfairKing / sydtest
  A modern testing framework for Haskell with good defaults and advanced testing features.
  ☆116Updated last week
• codedownio / time-ghc-modules
  Analyze GHC .dump-timings files
  ☆101Updated 9 months ago
• lazamar / haskell-docs-cli
  Browse Hackage from the terminal
  ☆93Updated last month
• chshersh / ghc-plugin-non-empty
  🧬 GHC Plugin for compile-time transformation of list literals to NonEmpty list
  ☆27Updated last year
• alt-romes / ghengin
  Ghengin: A vulkan-based, shader-centric, type-heavy, Haskell game engine
  ☆45Updated 4 months ago
• input-output-hk / typed-protocols
  Session types framework with support of protocol pipelining.
  ☆15Updated last month
• goldfirere / video-resources
  Resources to look at in concert with my Haskell videos
  ☆15Updated 2 years ago
• AndrasKovacs / implicit-fun-elaboration
  Implementation for ICFP 2020 paper
  ☆49Updated 3 years ago