Alternatives and similar repositories for chalmersnotes

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

• agda / cornelis
  agda-mode for neovim
  ☆158Updated 2 months ago
• fourmolu / fourmolu
  A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!
  ☆413Updated this week
• AndrasKovacs / elaboration-zoo
  Minimal implementations for dependent type checking and elaboration
  ☆685Updated last month
• augustss / MicroHs
  Haskell implemented with combinators
  ☆555Updated this week
• Gabriella439 / haskell-nix
  Nix and Haskell in production
  ☆1,159Updated last year
• fjvallarino / monomer
  An easy to use, cross platform, GUI library for writing Haskell applications.
  ☆628Updated last year
• haskell-effectful / effectful
  An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.
  ☆426Updated 3 weeks ago
• tweag / ormolu
  A formatter for Haskell source code
  ☆1,005Updated 2 months ago
• kowainik / stan
  🕵️ Haskell STatic ANalyser
  ☆582Updated last month
• srid / haskell-template
  Haskell project template using Nix + Flakes + VSCode (HLS)
  ☆259Updated 3 weeks ago
• mrcjkb / haskell-tools.nvim
  🦥 Supercharge your Haskell experience in neovim!
  ☆546Updated last week
• Gabriella439 / grace
  A ready-to-fork interpreted functional language with type inference
  ☆414Updated this week
• input-output-hk / haskell.nix
  Alternative Haskell Infrastructure for Nixpkgs
  ☆593Updated this week
• kowainik / relude
  🌀 Safe, performant, user-friendly and lightweight Haskell standard library
  ☆718Updated 2 months ago
• tweag / awesome-learning-haskell
  A collection of resources which were useful to Tweagers for learning Haskell and its various aspects
  ☆424Updated 3 years ago
• grin-compiler / grin
  GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
  ☆1,041Updated last month
• granule-project / granule
  A statically-typed linear functional language with graded modal types for fine-grained program reasoning
  ☆622Updated 2 months ago
• cdepillabout / termonad
  Terminal emulator configurable in Haskell.
  ☆412Updated last month
• haskell-nix / hnix
  A Haskell re-implementation of the Nix expression language
  ☆799Updated last year
• xmonad / xmonad-contrib
  Contributed modules for xmonad
  ☆597Updated last week
• pwm / nixkell
  A simple Nix-Haskell skeleton
  ☆112Updated last month
• effectfully-ou / haskell-challenges
  Code challenges to solve with Haskell
  ☆159Updated 2 months ago
• sweirich / pi-forall
  A demo implementation of a simple dependently-typed language
  ☆595Updated 8 months ago
• srid / haskell-flake
  A `flake-parts` Nix module for Haskell development
  ☆198Updated this week
• ndmitchell / ghcid
  Very low feature GHCi based IDE
  ☆1,161Updated last year
• seanhess / hyperbole
  Haskell interactive serverside web framework inspired by HTMX, Elm, and Phoenix LiveView
  ☆274Updated last month
• yallop / effects-bibliography
  A collaborative bibliography of work related to the theory and practice of computational effects
  ☆1,063Updated 2 months ago
• fused-effects / fused-effects
  A fast, flexible, fused effect system for Haskell
  ☆658Updated 2 months ago
• stefan-hoeck / idris2-tutorial
  ☆227Updated last week
• dhall-lang / dhall-haskell
  Maintainable configuration files
  ☆940Updated 2 weeks ago