Alternatives and similar repositories for IceDust:

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

• nuprl / gradual-typing-performance
  ☆10Updated 6 years ago
• scribble / scribble-java
  Core components for the Scribble Java tools
  ☆56Updated 4 months ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆48Updated 10 years ago
• owo-lang / MLPolyR
  The MLPolyR programming language, revived
  ☆24Updated 4 years ago
• ilyasergey / plt-redex-fj
  A PLT Redex implementation of Featherweight Java
  ☆15Updated 12 years ago
• seba-- / sugarj
  Library-based Language Extensibility
  ☆39Updated 10 years ago
• bpowers / liquid-types
  Logically Qualified Data Types - automatically infer refinement types
  ☆15Updated 3 years ago
• hazelgrove / hazelnut-dynamics-agda
  mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics
  ☆21Updated 8 months ago
• clarus / coq-blog
  A blog about Coq
  ☆10Updated 3 years ago
• coq-io / hello-world
  A Hello World program in Coq.
  ☆17Updated 2 years ago
• JoeyEremondi / GDTL-artifact
  A Gradual Dependently-typed Language
  ☆14Updated 5 years ago
• Ucombinator / jaam
  JVM Abstracting Abstract Machine
  ☆25Updated 6 years ago
• RobertHarper / nsml
  SML The Living Language
  ☆11Updated 11 years ago
• logic-tools / sml-handbook
  SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
  ☆34Updated 8 years ago
• hephaestus-pl / coqfj
  A mechanized proof of type safety for Featherweight Java using Coq
  ☆16Updated 6 years ago
• google / idris-protobuf
  A partial implementation of Protocol Buffers in Idris
  ☆31Updated 7 years ago
• tlaplus / tlapm_alternative_parser_experiment
  The rewrite of TLAPM, the TLAPS proof manager
  Updated 5 years ago
• bmeurer / ocamljit2
  Just-In-Time compiler for the OCaml byte-code runtime.
  ☆32Updated 13 years ago
• xieyuheng / logic-db
  Embedding a Prolog-like logic programming language in JavasScript and TypeScript.
  ☆18Updated last year
• racket / parser-tools
  ☆12Updated this week
• protz / mezzo
  The language of the future!
  ☆72Updated last year
• rowandavies / sml-cidre
  SML Checker for Intersection and Datasort Refinements (pronounced "cider")
  ☆20Updated 11 years ago
• SMLFamily / SMLFamily.github.io
  Web site for standardml.org.
  ☆36Updated last year
• trueagi-io / MORK
  MeTTa Optimal Reduction Kernel
  ☆15Updated this week
• neel-krishnaswami / inverse-bidirectional-typechecking
  A Toy Inverse Bidirectional Typechecker
  ☆31Updated 5 years ago
• orc-lang / orc
  Orc programming language implementation
  ☆43Updated 3 years ago
• bldl / magnolisp
  Magnolisp, a toy programming language
  ☆16Updated last year
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆34Updated 3 years ago
• QuickChick / Luck
  Luck -- A Language for Property-Based Generators
  ☆34Updated this week