Alternatives and similar repositories for semtype:

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

• pnwamk / sst-tutorial
  ☆16Updated 3 years ago
• neel-krishnaswami / inverse-bidirectional-typechecking
  A Toy Inverse Bidirectional Typechecker
  ☆31Updated 5 years ago
• SimonJF / mbcheck
  Implementation of typechecker from paper "Special Delivery: Programming with Mailbox Types"
  ☆14Updated 6 months ago
• gfngfn / toy-macro-ml
  An implementation of MacroML [Ganz, Sabry & Taha 2001]
  ☆30Updated 6 years ago
• diku-dk / sigdoc
  Signature documentation tool for Standard ML
  ☆14Updated last year
• elpinal / bright-ml
  A statically-typed programming language based on "F-ing modules"
  ☆80Updated 4 years ago
• zinid / delimcc
  Delimited continuations in byte-code and native OCaml
  ☆27Updated 4 years ago
• sborrazas / shen-erl
  Erlang port of the Shen programming language
  ☆26Updated 5 years ago
• dhil / pthandlers
  an encoding of affine effect handlers using pthreads
  ☆14Updated 2 years ago
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated 2 months ago
• leuschel / logen
  Offline partial evaluation system for Prolog written using the cogen approach
  ☆19Updated 8 years ago
• groupoid / TeX
  🧊 TeX-подібна система верстки наукових праць
  ☆19Updated this week
• ebresafegaga / tina
  Tina, a programming language with typed algebraic effects and handlers.
  ☆13Updated 3 years ago
• soren-n / bidi-higher-rank-poly
  Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…
  ☆22Updated 3 years ago
• MPLLang / mpllib
  Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)
  ☆19Updated 3 weeks ago
• elpinal / types-1ml
  Type systems written in 1ML
  ☆9Updated 5 years ago
• xnning / Dissertation
  My PhD Thesis
  ☆14Updated 3 years ago
• JohnReppy / sml-compiler-utils
  A collection of SML utility modules that are useful for compiler writing.
  ☆11Updated last month
• dbp / funtal
  FunTAL: mixing a functional language with assembly.
  ☆40Updated 7 years ago
• githwxi / ATS-Temptory
  For supporting template-based programming
  ☆21Updated 4 years ago
• kayceesrk / multiMLton
  MLton for scalable multicore architectures
  ☆57Updated 11 years ago
• atgeller / WASM-Redex
  A model of the WebAssembly language in Redex
  ☆22Updated 3 years ago
• Wodan58 / joy1
  Manfred von Thun's Programming Language Joy
  ☆16Updated 2 months ago
• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆48Updated 10 years ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• samskivert / bidir-scala
  A simple bidirectional type checker
  ☆18Updated 6 years ago
• stchang / typed-rosette
  An experimental typed version of the Rosette language
  ☆13Updated 6 years ago
• michallepicki / suber
  Algebraic Subtyping typechecking algorithms implemented in Erlang
  ☆11Updated 3 years ago
• khayyamsaleem / gradual-typing
  an implementation of gradual typing in mit-scheme
  ☆9Updated 3 years ago
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆75Updated this week