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
• ballerina-platform / nballerina
  Ballerina compiler that generates native executables.
  ☆137Updated 3 months ago
• ballerina-platform / module-ballerinax-nats
  Ballerina NATS Module.
  ☆120Updated this week
• ballerina-platform / ballerina-release
  Ballerina release scripts
  ☆121Updated this week
• ballerina-platform / module-ballerina-io
  Ballerina io Module
  ☆117Updated this week
• 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
• ballerina-platform / ballerina-spec
  Ballerina Language and Platform Specifications
  ☆167Updated last month
• ballerina-attic / tools-distribution
  Ballerina Distribution
  ☆10Updated 6 years ago
• ballerina-platform / plugin-intellij
  Ballerina extension for IntelliJ IDEA.
  ☆116Updated this week
• ballerina-platform / module-ballerina-grpc
  Ballerina gRPC Module
  ☆123Updated this week
• rossberg / mixml
  MixML prototype interpreter
  ☆27Updated 5 years ago
• ballerina-attic / nballerina-cpp
  Ballerina compiler backend that generates platform-specific executables.
  ☆17Updated 3 years ago
• garrigue / labltk
  LablTk, an OCaml interface for Tcl/Tk
  ☆34Updated this week
• dhil / pthandlers
  an encoding of affine effect handlers using pthreads
  ☆14Updated 2 years ago
• ballerina-attic / module-ballerinax-stan
  Ballerina NATS Streaming Module.
  ☆112Updated 4 months ago
• sborrazas / shen-erl
  Erlang port of the Shen programming language
  ☆26Updated 5 years ago
• stchang / typed-rosette
  An experimental typed version of the Rosette language
  ☆13Updated 6 years ago
• SimonJF / mbcheck
  Implementation of typechecker from paper "Special Delivery: Programming with Mailbox Types"
  ☆14Updated 5 months ago
• tonyrog / ffe
  Forth Flavoured Erlang
  ☆35Updated last year
• ballerina-platform / module-ballerinax-redis
  ☆110Updated 2 months ago
• owainlewis / forth
  A micro compiler for the FORTH programming language
  ☆12Updated 3 years ago
• robertkleffner / wort
  A core concatenative programming language with variables and first-rank polymorphic type inference
  ☆31Updated 4 years ago
• ballerina-platform / module-ballerinax-mongodb
  ☆122Updated this week
• merle-lang / luml
  Luml is a type-inferred ML-style language that cross-compiles to Lua
  ☆16Updated 6 years ago
• 4y8 / ski-in-asm
  A SKI combinators interpreter written in assembly
  ☆17Updated 4 years ago
• ballerina-platform / module-ballerina-file
  Ballerina File Module
  ☆110Updated this week
• acorrenson / owl
  A mini language for logic programming
  ☆24Updated 4 years ago
• jluningp / smlformat
  An auto-formatter for the Standard ML language
  ☆21Updated 4 years ago
• MPLLang / mpllib
  Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)
  ☆16Updated 2 weeks ago
• sto0pkid / swipl-tt
  Implementation of dependent type theory in SWI-Prolog
  ☆8Updated 4 years ago