Alternatives and similar repositories for gradual-typing-bib

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

• stedolan / malfunction
  Malfunctional Programming
  ☆350Updated 11 months ago
• wilbowma / cur
  A less devious proof assistant
  ☆226Updated 2 years ago
• nuprl / hopl-s2017
  History of Programming Languages, Spring 2017
  ☆136Updated 7 years ago
• eatonphil / ponyo
  Library and Toolkit for Standard ML
  ☆145Updated 2 years ago
• type-theory / learn-tt
  A collection of resources for learning type theory.
  ☆99Updated 9 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…
  ☆263Updated 7 years ago
• SMLFamily / Successor-ML
  A version of the 1997 SML definition with corrections and some proposed Successor ML features added.
  ☆203Updated last year
• Andromedans / andromeda
  A proof assistant for general type theories
  ☆308Updated 2 months ago
• c-cube / datalog
  An in-memory datalog implementation for OCaml.
  ☆272Updated last year
• mietek / total-fp
  Total functional programming (ESFP) literature
  ☆187Updated 6 years ago
• type-theory / type-theory-study-group
  Resources for the online Type Theory Study Group
  ☆162Updated 7 years ago
• pyrocat101 / opal
  Self-contained monadic parser combinators for OCaml
  ☆150Updated 2 years ago
• 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
• racket / redex
  ☆98Updated last month
• jozefg / hm
  A small implementation of type inference
  ☆80Updated 10 years ago
• groupoid / henk
  🧊 Чиста система з всесвітами
  ☆147Updated 4 months ago
• nanocaml / nanocaml
  Nanopass for OCaml
  ☆148Updated 7 years ago
• clarus / coq-chick-blog
  🐣 A blog engine written and proven in Coq
  ☆182Updated 5 years ago
• links-lang / links
  Links: Linking Theory to Practice for the Web
  ☆346Updated last month
• rossberg / 1ml
  1ML prototype interpreter
  ☆288Updated 5 years ago
• david-christiansen / pie-hs
  An implementation of Pie in Haskell
  ☆210Updated 5 years ago
• standardml / smackage
  Smackage Package Manager for Standard ML
  ☆124Updated 3 years ago
• stedolan / mlsub
  Prototype type inference engine
  ☆204Updated 8 months ago
• dvanhorn / redex-aam-tutorial
  An Introduction to Redex with Abstracting Abstract Machines
  ☆103Updated last year
• wh5a / Algorithm-W-Step-By-Step
  Classic Algorithm W for type inference.
  ☆254Updated 15 years ago
• RedPRL / sml-redprl
  The People's Refinement Logic
  ☆228Updated 2 years ago
• williamdemeo / TypeFunc
  Resources for type theory, functional programming, etc.
  ☆320Updated 4 years ago
• antalsz / hs-to-coq
  Convert Haskell source code to Coq source code
  ☆281Updated 4 years ago
• idris-hackers / software-foundations
  Software Foundations in Idris
  ☆456Updated 6 years ago
• SMLFamily / The-Definition-of-Standard-ML
  The Definition of Standard ML (1990)
  ☆124Updated 10 years ago