Alternatives and similar repositories for skoobert

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

• xieyuheng / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆37Updated 2 months ago
• xieyuheng / inet-js
  This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)
  ☆57Updated 3 months ago
• etiamz / optiscope
  A Lévy-optimal lambda calculus reducer with a backdoor to C
  ☆38Updated 2 weeks ago
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆127Updated 3 weeks ago
• jart / blc
  Binary Lambda Calculus Virtual Machine
  ☆55Updated last year
• danaugrs / deltanets
  Δ-Nets: Interaction-Based System for Optimal Parallel λ-Reduction
  ☆18Updated 4 months ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆61Updated last week
• glossopoeia / boba
  A general purpose statically-typed concatenative programming language.
  ☆54Updated 2 years ago
• cfallin / weval
  ☆174Updated 2 months ago
• SaberVM / SaberVM
  ☆212Updated last year
• VictorTaelin / Taelang
  my personal lang
  ☆16Updated last year
• wareya / filli
  Small powerful micro scripting language <1K SLOC
  ☆61Updated 3 weeks ago
• coetaur0 / nox
  The Nox programming language
  ☆30Updated 2 years ago
• ralsei / types.pl
  The glitch-soc/Mastodon fork running on types.pl
  ☆26Updated 2 months ago
• graydon / exhaustigen
  ☆11Updated 3 years ago
• nmhancock / type-inferencing
  Hindley–Milner Type inferencing in C
  ☆48Updated 3 years ago
• marianoguerra / mclulang
  McLulang: The message is the language
  ☆12Updated last year
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆75Updated 3 years ago
• grego / sumtype.h
  A mirror of https://git.sr.ht/~grego/sumtypes.h
  ☆75Updated 9 months ago
• japiirainen / fp
  A small, weird and unpractical programming language.
  ☆103Updated last week
• jamii / zest
  ☆125Updated 2 months ago
• goblint / cil
  C Intermediate Language
  ☆154Updated last week
• rems-project / cn
  CN separation logic refinement type system for C
  ☆38Updated this week
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆24Updated 10 months ago
• marvinborner / BLoC
  File format and optimizer for programs encoded in binary lambda calculus
  ☆16Updated last year
• SomewhatML / sml-compiler
  A compiler for Standard ML, somewhat
  ☆204Updated 3 years ago
• leostera / awesome-alt-langs
  Just a list of Awesome Alt Langs to check out
  ☆101Updated last year
• morphic-lang / morphic
  Pure functional programming with whole-program mutability inference
  ☆77Updated 3 months ago
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆81Updated last month
• Ekdohibs / camlboot
  Experiment on how to bootstrap the OCaml compiler
  ☆110Updated 3 years ago