Alternatives and similar repositories for effortless-language-servers

Users that are interested in effortless-language-servers are comparing it to the libraries listed below

• eatonphil / one-pass-code-generation-in-v8
  One-pass Code Generation in V8 (Archive)
  ☆20Updated 3 years ago
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆31Updated 3 years ago
• krcz / zygote
  Explorations in area of programming languages: concepts, typing, formal verification
  ☆18Updated 3 years ago
• spl / ivy
  A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety
  ☆15Updated 9 years ago
• pSpaces / Programming-with-Spaces
  Getting started, manuals and tutorials
  ☆55Updated last year
• blech-lang / blech
  Blech is a language for developing reactive, real-time critical embedded software.
  ☆68Updated 2 years ago
• marianoguerra / mclulang
  McLulang: The message is the language
  ☆11Updated last year
• dkrasner / Simpletalk
  ☆60Updated 2 years ago
• ecky-l / wacl
  A Tcl distibution for WebAssembly or Javascript
  ☆48Updated 8 years ago
• caminadab / metamine
  A new declarative programming language
  ☆23Updated 4 years ago
• prg-titech / magritte
  A language for pipe-based programming
  ☆53Updated 2 years ago
• aarroyoc / postgresql-prolog
  A Prolog library to connect to PostgreSQL databases
  ☆104Updated last year
• Tipoca / intuitionistic
  Intuitionistic Programming Language
  ☆12Updated 11 years ago
• SOM-st / som-java
  SOM - Simple Object Machine (plain Java implementation)
  ☆19Updated last month
• organix / mycelia
  A bare-metal actor operating system for Raspberry Pi.
  ☆68Updated this week
• cell-lang / compiler
  Cell compiler
  ☆115Updated 2 years ago
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated 2 years ago
• zachgk / catln
  A high-level programming language
  ☆40Updated 7 months ago
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆135Updated 4 months ago
• xieyuheng / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆38Updated last month
• dsagman / picat
  Learning Constraint Programming with Picat
  ☆41Updated last week
• kragen / peg-bootstrap
  A PEG that compiles itself.
  ☆76Updated 14 years ago
• maximecb / kavascript
  Minimalistic dynamically-typed programming language for didactic purposes.
  ☆28Updated 3 years ago
• tpetricek / tiny-boxer
  A tiny programming system inspired by Boxer leveraging the HTML DOM structure. Illustrates naive realism, explicit structure and evaluati…
  ☆23Updated 3 months ago
• ar-nelson / jaspr
  Lisp for JSON
  ☆18Updated 7 years ago
• hydro-project / katara
  Synthesize CRDTs from classic data types with verified lifting!
  ☆148Updated last year
• coil-language / coil-lang
  The Coil Programming Language
  ☆33Updated last year
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆78Updated 2 years ago
• darius / idel
  A low-level virtual machine for mobile code
  ☆12Updated 7 years ago
• judofyr / glush
  A parser toolkit
  ☆97Updated 4 years ago