Alternatives and similar repositories for gradual-typing-bib

Users that are interested in gradual-typing-bib are comparing it to the libraries listed below

• wilbowma / cur
  A less devious proof assistant
  ☆226Updated 2 years ago
• stedolan / malfunction
  Malfunctional Programming
  ☆350Updated last year
• nuprl / hopl-s2017
  History of Programming Languages, Spring 2017
  ☆136Updated 7 years ago
• type-theory / learn-tt
  A collection of resources for learning type theory.
  ☆99Updated 9 years ago
• type-theory / type-theory-study-group
  Resources for the online Type Theory Study Group
  ☆162Updated 7 years ago
• mietek / total-fp
  Total functional programming (ESFP) literature
  ☆187Updated 6 years ago
• Andromedans / andromeda
  A proof assistant for general type theories
  ☆307Updated 3 months ago
• david-christiansen / pie-hs
  An implementation of Pie in Haskell
  ☆211Updated 6 years ago
• c-cube / datalog
  An in-memory datalog implementation for OCaml.
  ☆274Updated last year
• racket / redex
  ☆98Updated last week
• SMLFamily / Successor-ML
  A version of the 1997 SML definition with corrections and some proposed Successor ML features added.
  ☆205Updated last year
• idris-hackers / idris-koans
  Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Id…
  ☆182Updated 7 years ago
• eatonphil / ponyo
  Library and Toolkit for Standard ML
  ☆145Updated 2 years ago
• pyrocat101 / opal
  Self-contained monadic parser combinators for OCaml
  ☆150Updated 2 years ago
• groupoid / henk
  🧊 Чиста система з всесвітами
  ☆148Updated 5 months ago
• dvanhorn / redex-aam-tutorial
  An Introduction to Redex with Abstracting Abstract Machines
  ☆104Updated last year
• gasche / icfp2016-papers
  Link to preprints for ICFP'16 and co-located events
  ☆139Updated 9 years ago
• jozefg / hm
  A small implementation of type inference
  ☆80Updated 10 years ago
• RedPRL / sml-redprl
  The People's Refinement Logic
  ☆228Updated 2 years ago
• pigworker / CS410-17
  being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathcly…
  ☆264Updated 7 years ago
• goldfirere / thesis
  Richard A. Eisenberg's PhD Dissertation
  ☆205Updated 7 years ago
• travitch / datalog
  A pure Haskell implementation of Datalog
  ☆105Updated 5 years ago
• antalsz / hs-to-coq
  Convert Haskell source code to Coq source code
  ☆282Updated 5 years ago
• nanocaml / nanocaml
  Nanopass for OCaml
  ☆149Updated 7 years ago
• mietek / charity-lang
  Charity language interpreters and literature
  ☆114Updated 6 years ago
• sdiehl / papers
  ☆95Updated 10 years ago
• stchang / macrotypes
  ☆137Updated 3 years ago
• teyjus / teyjus
  An efficient implementation of the higher-order logic programming language Lambda Prolog
  ☆154Updated last year
• idris-hackers / idris-demos
  Collection of Idris tests and demonstration programs
  ☆193Updated 7 years ago
• williamdemeo / TypeFunc
  Resources for type theory, functional programming, etc.
  ☆320Updated 4 years ago