Alternatives and similar repositories for samlang:

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

• marcopennekamp / lore
  Lore is a general-purpose programming language featuring multi-functions, structs and traits, a static type system with sum and intersect…
  ☆18Updated last year
• egel-lang / egel
  The Egel Programming Language
  ☆84Updated last month
• norswap / uranium
  Semantic analysis framework
  ☆14Updated 2 years ago
• gracelang / minigrace
  Self-hosting compiler for the Grace programming language
  ☆40Updated 11 months ago
• glyh / awesome-pl-concepts
  An menu/quick reference for Programming Language concepts
  ☆20Updated last year
• imp-language / imp
  Imp is a statically typed and compiled scripting language with the goal of increasing programmer confidence.
  ☆11Updated 2 years ago
• CuppoJava / Feeny
  Learn Compiler Writing with the Feeny Programming Language
  ☆12Updated 5 years ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆45Updated 2 months ago
• Ahnfelt / firefly-boot
  Bootstrap compiler for Firefly
  ☆53Updated last week
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆63Updated 10 months ago
• kjosib / sophie
  A call-by-need statically-duck-typed language named for French mathematician Sophie Germain
  ☆31Updated 3 months ago
• siko-lang / siko_old
  siko
  ☆14Updated last year
• Rhovas / Interpreter
  The interpreter for Rhovas, a programming language for API design and enforcement.
  ☆28Updated 6 months ago
• Ahnfelt / type-inference-by-example
  A series of down-to-earth articles on implementing type inference
  ☆154Updated 4 years ago
• Storyyeller / cubiml-demo
  A simple ML-like programming language with subtyping and full type inference.
  ☆172Updated 5 months ago
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆50Updated 4 months ago
• hkust-taco / mlstruct
  Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"
  ☆39Updated 4 months ago
• leostera / awesome-alt-langs
  Just a list of Awesome Alt Langs to check out
  ☆99Updated last year
• rasendubi / alpha
  A newborn programming language for extensible software
  ☆16Updated 3 years ago
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 3 years ago
• proglangdesign / proglangdesign.github.io
  A website for the #proglangdesign community on freenode
  ☆108Updated last week
• madlib-lang / madlib
  Madlib language compiler
  ☆27Updated 4 months ago
• igstan / linguae
  A playground for parsers, type checkers, interpreters, compilers, etc.
  ☆40Updated 4 months ago
• tokiwa-software / fuzion
  The Fuzion Language Implementation
  ☆54Updated this week
• ElvisResearchGroup / L42
  L42 main project
  ☆27Updated 6 months ago
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆63Updated 3 years ago
• aya-lang / aya
  Pocket sized programs
  ☆57Updated last month
• zachgk / catln
  A high-level programming language
  ☆39Updated 3 months ago
• glossopoeia / boba
  A general purpose statically-typed concatenative programming language.
  ☆54Updated 2 years ago
• NicholasLYang / saber
  An attempt to write a compiler in Rust
  ☆24Updated last year