Alternatives and similar repositories for hiring

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

• VictorTaelin / absal-rs
  ☆35Updated 6 years ago
• habit-lang / language-report
  LaTeX sources for the Habit Programming Language Report
  ☆24Updated 6 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
• kowainik / trial
  ⚖️ Trial Data Type
  ☆21Updated last month
• LightAndLight / sized-hkts
  Higher kinded polymorphism in a language with unboxed, statically sized datatypes.
  ☆51Updated 6 months ago
• ekmett / rust-lens
  this is not a working lens library
  ☆12Updated 2 years ago
• bollu / timi
  A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages
  ☆70Updated 8 years ago
• fuzzypixelz / hustle
  Haskell implementation of the KDL Document Language
  ☆22Updated 2 years ago
• vmchale / recursion
  Recursion schemes in ATS
  ☆9Updated 3 years ago
• kozross / diablerie
  All the byte bashing you didn't know you wanted in Haskell.
  ☆21Updated 3 years ago
• Avi-D-coder / sundial-gc-design
  type safe, concurrent, pauseless, copying, generational GC. Implementation https://github.com/Avi-D-coder/sundial-gc
  ☆31Updated 5 years ago
• dmjio / graphql-meta
  Lexing, parsing, pretty-printing, and metaprogramming facilities for dealing with GraphQL schemas and queries
  ☆21Updated 7 months ago
• clintonmead / haskell_bits
  ☆54Updated 5 years ago
• Soonad / Formality-Haskell
  A Haskell implementation of the Formality language
  ☆18Updated 5 years ago
• typesanitizer / edit
  Edit is a monad for rewriting things.
  ☆23Updated 4 years ago
• re-xyr / avail
  Low-overhead effect management for concrete monads
  ☆37Updated 3 years ago
• utkarshkukreti / purescript-corefn.rs
  A parser for PureScript's corefn JSON representation.
  ☆14Updated 6 years ago
• zaklogician / typical-antiphrasis
  Paradoxes of type theory, described didactically. With accompanying proofs in Agda.
  ☆39Updated 4 years ago
• tomhoule / purescript-waterslide-rs
  Generate Purescript types from your Rust types. (unmaintained)
  ☆42Updated 6 years ago
• harpocrates / language-rust
  Parser and pretty-printer for the Rust language
  ☆86Updated last year
• Bodigrim / poly
  Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)
  ☆68Updated 3 months ago
• aherrmann / simply_llvm
  ☆41Updated 8 years ago
• dfinity-side-projects / winter
  Haskell port of the WebAssembly OCaml reference interpreter
  ☆45Updated 2 years ago
• tweag / haskell-binaryen
  Haskell bindings to binaryen.
  ☆14Updated 4 years ago
• isovector / prospect
  static analysis of free monads
  ☆24Updated 7 years ago
• phadej / write-yourself-a-typed-functional-language
  Write yourself a typed functional language
  ☆65Updated 6 years ago
• NorfairKing / easyspec
  Signature inference for Functional Property Discovery in Haskell
  ☆38Updated 7 years ago
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆78Updated 2 years ago
• graninas / stm-free
  STM on Free monads
  ☆23Updated 7 years ago
• ocramz / aeson-schema
  Haskell JSON schema validator and parser generator
  ☆61Updated 2 years ago