jclark / semtype

Related projects ⓘ

Alternatives and complementary repositories for semtype

• ballerina-platform / nballerina
  Ballerina compiler that generates native executables.
  ☆137Updated last month
• pnwamk / sst-tutorial
  ☆16Updated 3 years ago
• gfngfn / toy-macro-ml
  An implementation of MacroML [Ganz, Sabry & Taha 2001]
  ☆30Updated 5 years ago
• ballerina-platform / module-ballerinax-nats
  Ballerina NATS Module.
  ☆120Updated last month
• ballerina-platform / ballerina-release
  Ballerina release scripts
  ☆121Updated this week
• bsaleil / lc
  JIT compiler for Scheme targeting x86-64 platforms
  ☆30Updated 5 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
• neel-krishnaswami / inverse-bidirectional-typechecking
  A Toy Inverse Bidirectional Typechecker
  ☆31Updated 5 years ago
• diku-dk / sigdoc
  Signature documentation tool for Standard ML
  ☆14Updated last year
• ballerina-platform / module-ballerina-io
  Ballerina io Module
  ☆117Updated this week
• ballerina-attic / tools-distribution
  Ballerina Distribution
  ☆10Updated 6 years ago
• ballerina-attic / nballerina-cpp
  Ballerina compiler backend that generates platform-specific executables.
  ☆17Updated 3 years ago
• hanleyc01 / rkttt
  ☆12Updated last year
• ballerina-platform / ballerina-distribution
  ☆155Updated this week
• ballerina-platform / ballerina-spec
  Ballerina Language and Platform Specifications
  ☆167Updated this week
• michallepicki / suber
  Algebraic Subtyping typechecking algorithms implemented in Erlang
  ☆11Updated 3 years ago
• SimonJF / mbcheck
  Implementation of typechecker from paper "Special Delivery: Programming with Mailbox Types"
  ☆14Updated 2 months ago
• JohnReppy / sml-compiler-utils
  A collection of SML utility modules that are useful for compiler writing.
  ☆11Updated 3 years ago
• ballerina-platform / module-ballerina-grpc
  Ballerina gRPC Module
  ☆123Updated this week
• elpinal / subtyping-agda
  Some rudimentary proofs on subtyping
  ☆11Updated 2 years ago
• ballerina-attic / module-ballerinax-stan
  Ballerina NATS Streaming Module.
  ☆112Updated last month
• JimmyZJX / TypingFormalization
  ☆14Updated 5 years ago
• rossberg / mixml
  MixML prototype interpreter
  ☆27Updated 4 years ago
• david-christiansen / dan-scheme
  A very little language
  ☆16Updated last year
• bobatkey / ocamlmvc
  An MVC library for writing interactive webpages in OCaml
  ☆35Updated 9 years ago
• wilbowma / experimenting-with-redex
  A Redex tutorial with a focus on how to do work in Redex
  ☆11Updated last month
• ballerina-platform / module-ballerinax-mongodb
  ☆123Updated last month
• mmcqd / higher-standard
  Higher kinded polymorphism in SML
  ☆15Updated 4 years ago
• wso2 / ballerina-vscode
  To keep Ballerina VSCode plugin related issues, discussions, etc.
  ☆42Updated last month