Alternatives and similar repositories for symbolverse:

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

• kjosib / sophie
  A call-by-need statically-duck-typed language named for French mathematician Sophie Germain
  ☆31Updated 3 months ago
• glossopoeia / boba
  A general purpose statically-typed concatenative programming language.
  ☆54Updated last year
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆63Updated 10 months ago
• cicada-lang / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆32Updated this week
• taolson / Admiran
  Admiran compiler, library, and examples
  ☆60Updated last week
• marianoguerra / mclulang
  McLulang: The message is the language
  ☆10Updated 8 months ago
• RiscInside / LanguageEtudes
  Components of programming languages, all implemented in self-contained files
  ☆9Updated last year
• dghosef / qdbp
  ☆53Updated 2 weeks ago
• UberPyro / prowl
  WIP stack language that uses regex for control flow
  ☆42Updated last year
• jzwood / portcullis
  A minimalist / functional / dataflow programming language
  ☆13Updated 11 months ago
• mingodad / parsertl-playground
  A web based playground for parsertl/lexertl
  ☆26Updated 2 weeks ago
• core-lang / core
  moved to https://codeberg.org/core-lang/core
  ☆54Updated 2 months ago
• gamblevore / speedie
  Compiler for my language 'Speedie'. Beta-state. Has a great future ahead for it.
  ☆23Updated this week
• glyh / awesome-pl-concepts
  An menu/quick reference for Programming Language concepts
  ☆20Updated last year
• cluesurf / tree
  A Modeling Notation ꕤ
  ☆15Updated 3 weeks ago
• RyanBrewer317 / cricket_rs
  A tiny lazy objective functional language
  ☆16Updated 7 months ago
• dibsonthis / Glide
  Glide programming language
  ☆20Updated 2 years ago
• coetaur0 / nox
  The Nox programming language
  ☆29Updated last year
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆27Updated 5 years ago
• nooga / fy
  A a tiny concatenative programming language JIT compiled to aarch64 machine code.
  ☆12Updated last year
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆43Updated 2 months ago
• fsantanna / dceu
  ☆29Updated 6 months ago
• egel-lang / egel
  The Egel Programming Language
  ☆84Updated 3 weeks ago
• tobega / tailspin-v0
  A programming language with extreme data-pattern matching and data-declarative syntax, hopefully different enough to be interesting
  ☆41Updated 4 months ago
• curry-language / curry2go
  A compiler and run-time system to compile and run Curry programs as Go programs
  ☆24Updated last week
• FlatAssembler / AECforWebAssembly
  A port of ArithmeticExpressionCompiler from x86 to WebAssembly, so that the programs written in the language can run in a browser. The co…
  ☆34Updated this week
• hkust-taco / mlstruct
  Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"
  ☆39Updated 4 months ago
• HouQiming / ama
  A system to amalgamate any features you want into any language you need
  ☆26Updated 2 years ago
• ThetaLang / Theta
  θ A statically typed, functional programming language that compiles to WebAssembly
  ☆39Updated 5 months ago
• micahcantor / racket-lox
  An implementation of the Lox language in Racket.
  ☆33Updated last year