Alternatives and similar repositories for hiring:

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

• gelisam / hyzzy
  A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.
  ☆32Updated 4 years ago
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆77Updated 2 years ago
• VictorTaelin / absal-rs
  ☆35Updated 6 years ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated 6 months ago
• evertedsphere / sound-and-complete
  An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system
  ☆84Updated 7 years ago
• habit-lang / language-report
  LaTeX sources for the Habit Programming Language Report
  ☆24Updated 6 years ago
• aherrmann / simply_llvm
  ☆41Updated 7 years ago
• discus-lang / salt
  The compilation target that functional programmers always wanted.
  ☆62Updated 4 years ago
• inanna-malick / mononoke
  Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …
  ☆3Updated 3 years ago
• ekmett / rust-lens
  this is not a working lens library
  ☆12Updated 2 years ago
• Avi-D-coder / sundial-gc-design
  type safe, concurrent, pauseless, copying, generational GC. Implementation https://github.com/Avi-D-coder/sundial-gc
  ☆30Updated 4 years ago
• tweag / ghc
  Fork of official GHC repository.
  ☆44Updated last year
• yav / pretty-show
  Tools for working with derived Show instances in Haskell.
  ☆57Updated 2 years ago
• LightAndLight / sized-hkts
  Higher kinded polymorphism in a language with unboxed, statically sized datatypes.
  ☆50Updated 2 months ago
• snoyberg / routetype-rs
  Strongly typed routes for Rust
  ☆35Updated 3 years ago
• ocharles / what-it-do
  Automatically trace all (showable) binds in do expressions
  ☆84Updated 6 years ago
• re-xyr / avail
  Low-overhead effect management for concrete monads
  ☆37Updated 3 years ago
• robrix / tilec
  Sometimes when I feel sad I implement a dependently typed lambda calculus.
  ☆15Updated 5 years ago
• 4e6 / nanoid-hs
  Haskell implementation of Nanoid, secure URL-friendly unique ID generator.
  ☆20Updated 7 years ago
• kowainik / trial
  ⚖️ Trial Data Type
  ☆20Updated this week
• tweag / kernmantle
  Braiding extensible effects together in a pipeline/workflow of tasks
  ☆57Updated last year
• lehins / scheduler
  A work stealing scheduler
  ☆75Updated 2 months ago
• kowainik / treap
  Efficient implementation of the implicit treap data structure
  ☆63Updated 3 years ago
• awkward-squad / ki
  A structured concurrency library
  ☆86Updated last month
• nomeata / haskell-for-readers
  Lecture notes for teaching Haskell to those who want to read it
  ☆55Updated 2 years ago
• NorfairKing / easyspec
  Signature inference for Functional Property Discovery in Haskell
  ☆38Updated 7 years ago
• plaidfinch / myxine
  Get a GUI fast in any language under the sea!
  ☆47Updated 2 years ago
• kowainik / type-errors-pretty
  💄🐞 Combinators for writing pretty type errors easily
  ☆55Updated 3 years ago
• Soonad / Formality-Haskell
  A Haskell implementation of the Formality language
  ☆18Updated 5 years ago
• minad / paripari
  Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)
  ☆59Updated 4 years ago