Alternatives and similar repositories for fresh-lang

Users that are interested in fresh-lang are comparing it to the libraries listed below

• lexi-lambda / higher-rank

  View on GitHub
  A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism
  ☆101May 9, 2017Updated 8 years ago
• ekmett / codebruijn

  View on GitHub
  experiments with pext/pdep and codebruijn syntax
  ☆17Nov 17, 2019Updated 6 years ago
• bartavelle / stateWriter

  View on GitHub
  A RWS like monad without the slow writer stuff
  ☆12Jun 17, 2023Updated 2 years ago
• dfinity-side-projects / winter

  View on GitHub
  Haskell port of the WebAssembly OCaml reference interpreter
  ☆45Jun 15, 2023Updated 2 years ago
• sigma-andex / idris-refined

  View on GitHub
  Port of Scala/Haskell Refined library to Idris
  ☆17Apr 25, 2021Updated 4 years ago
• luc-tielen / typesystem

  View on GitHub
  Experiments using a bidirectional typesystem
  ☆17Jan 30, 2022Updated 4 years ago
• paf31 / purescript-lists-fast

  View on GitHub
  Fast replacements for some common functions on linked lists
  ☆13Dec 14, 2017Updated 8 years ago
• kritzcreek / okasaki

  View on GitHub
  Working through Okasaki's "Functional Datastructures" in PureScript
  ☆14Nov 9, 2016Updated 9 years ago
• willtim / row-polymorphism

  View on GitHub
  Example row-polymorphism implementations
  ☆61Oct 3, 2023Updated 2 years ago
• FailWhaleBrigade / water-wars

  View on GitHub
  Game in Haskell
  ☆14Jul 12, 2024Updated last year
• conal / talk-2016-generic-parallel-scan

  View on GitHub
  Talk on generic parallel scan
  ☆14May 12, 2017Updated 8 years ago
• Abhiroop / okasaki

  View on GitHub
  A Haskell Collections library. [WIP]
  ☆14Apr 7, 2024Updated last year
• jozefg / miniprl

  View on GitHub
  A small implementation of a proof refinement logic.
  ☆50Jul 3, 2017Updated 8 years ago
• jfaure / Irie-lang

  View on GitHub
  Subtyping calculus of inductive constructions
  ☆57Dec 13, 2023Updated 2 years ago
• sfultong / stand-in-language

  View on GitHub
  a simple total pure functional language, eventually to have powerful static checking and optimization
  ☆33Dec 18, 2025Updated last month
• jackoe / discourse-tui

  View on GitHub
  A terminal UI for discourse
  ☆13Jul 25, 2020Updated 5 years ago
• csabahruska / jhc-grin

  View on GitHub
  GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)
  ☆16Dec 13, 2018Updated 7 years ago
• daeken / RenrakuOS

  View on GitHub
  Managed research kernel
  ☆43Jan 29, 2010Updated 16 years ago
• pietervdvn / ALGT2

  View on GitHub
  ALGT 2.0
  ☆30Dec 23, 2019Updated 6 years ago
• pigworker / Frank

  View on GitHub
  being a slightly rethought version of the Frank implementation
  ☆23Feb 9, 2016Updated 10 years ago
• ziman / ttstar

  View on GitHub
  Dependently typed core calculus with erasure
  ☆19Aug 31, 2021Updated 4 years ago
• agrafix / hackmanager

  View on GitHub
  Simplify managing Haskell projects by generating files like README.md, .travis.yml, etc.
  ☆12Aug 23, 2015Updated 10 years ago
• david-christiansen / final-pretty-printer

  View on GitHub
  A monadic (and pretty) pretty printer for Haskell
  ☆39Jul 12, 2023Updated 2 years ago
• snoyberg / safe-prelude

  View on GitHub
  A Haskell prelude optimized for safety
  ☆18Jan 6, 2017Updated 9 years ago
• juspay / jrec

  View on GitHub
  Literally the best anonymous records
  ☆36Mar 13, 2023Updated 2 years ago
• gibiansky / ghc-reskin

  View on GitHub
  A preprocessor for GHC for alternate Haskell syntaxes
  ☆38Sep 8, 2015Updated 10 years ago
• bodil / purescript-kanren

  View on GitHub
  Relational programming for PureScript
  ☆17Jan 5, 2017Updated 9 years ago
• Thimoteus / purescript-transformerless

  View on GitHub
  Transformerless monads for Puresript
  ☆22Sep 26, 2018Updated 7 years ago
• seereason / atp-haskell

  View on GitHub
  Haskell version of the code from "Handbook of Practical Logic and Automated Reasoning"
  ☆18Apr 3, 2024Updated last year
• clayrat / opticui-elm-architecture

  View on GitHub
  Elm arch guide in OpticUI
  ☆13Dec 3, 2015Updated 10 years ago
• phadej / acme-kmett

  View on GitHub
  A collection of Edward Kmett's packages in a single repository
  ☆17Mar 14, 2021Updated 4 years ago
• michaelt / streaming-bytestring

  View on GitHub
  effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy
  ☆21Dec 13, 2017Updated 8 years ago
• andrewthad / primitive-containers

  View on GitHub
  Map and Set over contiguous memory
  ☆22Aug 9, 2023Updated 2 years ago
• aherrmann / simply_llvm

  View on GitHub
  ☆41Jul 2, 2017Updated 8 years ago
• ptol / oczor

  View on GitHub
  Oczor is a simple statically typed language that compiles to JavaScript, Lua, Ruby and Emacs Lisp
  ☆120Oct 29, 2017Updated 8 years ago
• lexi-lambda / racket-higher-rank

  View on GitHub
  ☆21May 9, 2017Updated 8 years ago
• chrisdone-archive / purify

  View on GitHub
  Reproducible builds for PureScript
  ☆73Aug 7, 2018Updated 7 years ago
• chpatrick / codec

  View on GitHub
  Easy bidirectional serialization in Haskell
  ☆49Dec 12, 2018Updated 7 years ago
• winterland1989 / stdio

  View on GitHub
  Haskell Standard Input and Output
  ☆46May 13, 2018Updated 7 years ago