Alternatives and similar repositories for kattis_submit:

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

• niilohlin / Tenta
  ☆8Updated 2 years ago
• bjorne / git-pa-svenska
  Git på svenska
  ☆812Updated last year
• mrkkrp / megaparsec
  Industrial-strength monadic parser combinator library
  ☆941Updated 2 months ago
• lspitzner / brittany
  haskell source code formatter
  ☆690Updated 2 years ago
• ndmitchell / ghcid
  Very low feature GHCi based IDE
  ☆1,153Updated last year
• SublimeHaskell / SublimeHaskell
  A Sublime Text 3 plugin for Haskell. Features cabal building, error and warning highlighting, smart completion and ghc-mod integration.
  ☆573Updated 2 years ago
• quchen / articles
  Miscellaneous articles. The readme is the table of contents.
  ☆1,260Updated last year
• ucsd-progsys / liquidhaskell
  Liquid Types For Haskell
  ☆1,238Updated 3 weeks ago
• lexi-lambda / hackett
  WIP implementation of a Haskell-like Lisp in Racket
  ☆1,171Updated last year
• JakeWheat / intro_to_parsing
  Introduction to parsing with Haskell and Parsec
  ☆504Updated 5 years ago
• chrisdone-archive / intero
  ☆1,008Updated 5 years ago
• tweag / asterius
  DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc
  ☆1,966Updated 2 years ago
• kowainik / relude
  🌀 Safe, performant, user-friendly and lightweight Haskell standard library
  ☆712Updated last month
• itdagene-ntnu / itdagene
  API and admin interface for itdagene.no & admin.itdagene.no
  ☆8Updated last month
• mihaimaruseac / hindent
  Haskell pretty printer
  ☆568Updated this week
• sdiehl / kaleidoscope
  Haskell LLVM JIT Compiler Tutorial
  ☆1,039Updated 5 years ago
• tomprimozic / type-systems
  Implementations of various type systems in OCaml.
  ☆1,575Updated 9 years ago
• jwiegley / category-theory
  An axiom-free formalization of category theory in Coq for personal study and practical work
  ☆770Updated last month
• 8051Enthusiast / regex2fat
  Turn your favourite regex into FAT32
  ☆1,008Updated 2 years ago
• grin-compiler / grin
  GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
  ☆1,038Updated last year
• Frege / frege
  Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.
  ☆3,650Updated last month
• nick8325 / quickcheck
  Automatic testing of Haskell programs.
  ☆746Updated last month
• DSLsofMath / DSLsofMath
  Domain-Specific Languages of Mathematics
  ☆436Updated last month
• edwinb / Idris2-boot
  A dependently typed programming language, a successor to Idris
  ☆900Updated 4 years ago
• nuprl / 10PL
  10 papers that all PhD students in programming languages ought to know, for some value of 10
  ☆903Updated 5 years ago
• alols / xcape
  Linux utility to configure modifier keys to act as other keys when pressed and released on their own.
  ☆2,120Updated 2 years ago
• mightybyte / monad-challenges
  A set of challenges for jump starting your understanding of monads.
  ☆333Updated 3 years ago
• slovnicki / pLam
  An interpreter for learning and exploring pure λ-calculus
  ☆455Updated 4 years ago
• dvcrn / proton
  space-atom. spacemacs and sublimious style editing in atom
  ☆564Updated 6 years ago
• ChrisPenner / rasa
  Extremely modular text editor built in Haskell
  ☆622Updated 4 years ago