Alternatives and similar repositories for hiring:

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

• clintonmead / haskell_bits
  ☆54Updated 4 years ago
• Soonad / Base.fm
  Standard library for the Formality language
  ☆18Updated 4 years ago
• LightAndLight / sized-hkts
  Higher kinded polymorphism in a language with unboxed, statically sized datatypes.
  ☆50Updated 2 weeks ago
• lukaszlew / call-by-need-in-rust
  Simple implementation of call-by-need lazy lambda calculus in Rust.
  ☆15Updated 9 months ago
• snoyberg / routetype-rs
  Strongly typed routes for Rust
  ☆35Updated 3 years ago
• habit-lang / language-report
  LaTeX sources for the Habit Programming Language Report
  ☆24Updated 6 years ago
• kowainik / trial
  ⚖️ Trial Data Type
  ☆20Updated last month
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆75Updated last year
• Centril / refl
  Provides a Refl encoding in Rust
  ☆69Updated last year
• mstksg / mutable
  Automatic piecewise-mutable references for your types
  ☆42Updated 4 years ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆28Updated 5 years ago
• vmchale / recursion
  Recursion schemes in ATS
  ☆9Updated 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
• fan-tom / liquid-rust
  Liquid Types implementation for Rust
  ☆28Updated 2 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
• hubris-lang / hubris
  A dependently typed programming language, and verification tool
  ☆26Updated 8 years ago
• robrix / tilec
  Sometimes when I feel sad I implement a dependently typed lambda calculus.
  ☆15Updated 4 years ago
• Soonad / Moonad
  An upcoming operating system built on Type-Theory
  ☆43Updated 4 years ago
• SPY / idris-codegen-wasm
  WebAssembly Code Generation Backend for Idris Compiler
  ☆83Updated 6 years ago
• fluffynukeit / scbt
  Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019
  ☆11Updated 5 years ago
• tomhoule / purescript-waterslide-rs
  Generate Purescript types from your Rust types. (unmaintained)
  ☆41Updated 6 years ago
• VictorTaelin / parallel_lambda_computer_tests
  learning cuda
  ☆18Updated 8 years ago
• Adapton / fungi-lang.rust
  Fungi: Typed incremental computation with names
  ☆67Updated 5 years ago
• gonzaw / extensible-records
  Extensible records for Idris
  ☆26Updated 3 years ago
• themattchan / core
  SPJ's tutorial on implementing functional languages
  ☆28Updated 5 years ago
• zaklogician / typical-antiphrasis
  Paradoxes of type theory, described didactically. With accompanying proofs in Agda.
  ☆38Updated 4 years ago
• Soonad / Formality-Haskell
  A Haskell implementation of the Formality language
  ☆18Updated 4 years ago
• aherrmann / simply_llvm
  ☆41Updated 7 years ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated 4 months ago