Alternatives and similar repositories for samlang

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

• imp-language / imp
  Imp is a statically typed and compiled scripting language with the goal of increasing programmer confidence.
  ☆11Updated 2 years ago
• kjosib / sophie
  A call-by-need statically-duck-typed language named for French mathematician Sophie Germain
  ☆32Updated 5 months ago
• naalit / pika
  A WIP little dependently-typed systems language
  ☆41Updated 10 months ago
• ThePuzzlemaker / tethys
  A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht
  ☆16Updated last year
• siko-lang / siko_old
  siko
  ☆14Updated last year
• hkust-taco / mlstruct
  Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"
  ☆40Updated 6 months ago
• wipplelang / wipple
  Learn to code with Wipple.
  ☆36Updated last month
• Rhovas / Interpreter
  The interpreter for Rhovas, a programming language for API design and enforcement.
  ☆32Updated 8 months ago
• 05st / artemis
  Statically typed, high-level functional programming language.
  ☆17Updated 3 years ago
• Storyyeller / cubiml-demo
  A simple ML-like programming language with subtyping and full type inference.
  ☆176Updated 7 months ago
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆68Updated 3 years ago
• kengorab / abra-lang
  🧙‍♂️A small programming language with static typing and native compilation, selfhosted
  ☆44Updated this week
• jingle-lang / jingle
  🔔 Jingle is a dynamically-typed, multi-paradigm programming language designed for humans and machines.
  ☆43Updated 4 years ago
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆64Updated last year
• egel-lang / egel
  The Egel Programming Language
  ☆84Updated last month
• Ahnfelt / firefly-boot
  Bootstrap compiler for Firefly
  ☆55Updated last week
• norswap / uranium
  Semantic analysis framework
  ☆14Updated 3 years ago
• csb6 / bluebird
  A work-in-progess programming language modeled after Ada and C++
  ☆25Updated 2 years ago
• domdomegg / ottie
  🎓 Web app to help teach HM type inference
  ☆16Updated 2 months ago
• leostera / awesome-alt-langs
  Just a list of Awesome Alt Langs to check out
  ☆102Updated last year
• proglangdesign / proglangdesign.github.io
  A website for the #proglangdesign community on freenode
  ☆108Updated 2 months ago
• cara-lang / compiler
  Cara language compiler
  ☆45Updated last month
• Ahnfelt / type-inference-by-example
  A series of down-to-earth articles on implementing type inference
  ☆158Updated 5 years ago
• glossopoeia / boba
  A general purpose statically-typed concatenative programming language.
  ☆54Updated 2 years ago
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 3 years ago
• marcopennekamp / lore
  Lore is a general-purpose programming language featuring multi-functions, structs and traits, a static type system with sum and intersect…
  ☆18Updated 2 years ago
• glyh / awesome-pl-concepts
  An menu/quick reference for Programming Language concepts
  ☆20Updated last year
• gracelang / minigrace
  Self-hosting compiler for the Grace programming language
  ☆40Updated last year
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆53Updated 4 months ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago