Alternatives and similar repositories for effortless-language-servers

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

• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆30Updated 2 years ago
• eatonphil / one-pass-code-generation-in-v8
  One-pass Code Generation in V8 (Archive)
  ☆20Updated 2 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
• krcz / zygote
  Explorations in area of programming languages: concepts, typing, formal verification
  ☆18Updated 3 years ago
• caminadab / metamine
  A new declarative programming language
  ☆23Updated 4 years ago
• aarroyoc / postgresql-prolog
  A Prolog library to connect to PostgreSQL databases
  ☆100Updated last year
• dkrasner / Simpletalk
  ☆60Updated last year
• OriRoth / flunct
  A functional fluent API generator
  ☆34Updated 2 years ago
• organix / mycelia
  A bare-metal actor operating system for Raspberry Pi.
  ☆68Updated last year
• blech-lang / blech
  Blech is a language for developing reactive, real-time critical embedded software.
  ☆68Updated 2 years ago
• pSpaces / Programming-with-Spaces
  Getting started, manuals and tutorials
  ☆52Updated last year
• Fault-lang / Fault
  a language for building system dynamic models
  ☆166Updated 2 months ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 years ago
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆134Updated last month
• lezer-parser / lezer
  Dev utils and issues for the Lezer core packages
  ☆36Updated last year
• graydon / exhaustigen
  ☆11Updated 3 years ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆13Updated 9 years ago
• trealla-prolog / go
  Trealla Prolog embedded in Go using WASM
  ☆79Updated 3 weeks ago
• jhp / imperative
  Structured UI Programming with ES6 Generators
  ☆25Updated last year
• maximecb / kavascript
  Minimalistic dynamically-typed programming language for didactic purposes.
  ☆28Updated 2 years ago
• kragen / peg-bootstrap
  A PEG that compiles itself.
  ☆76Updated 14 years ago
• informalsystems / modelator-py
  Utilities for the TLA+ ecoystem and model-based testing using TLA+.
  ☆28Updated 2 years ago
• judofyr / glush
  A parser toolkit
  ☆97Updated 4 years ago
• nanofuzz / nanofuzz
  NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code
  ☆43Updated last month
• tpetricek / tiny-boxer
  A tiny programming system inspired by Boxer leveraging the HTML DOM structure. Illustrates naive realism, explicit structure and evaluati…
  ☆22Updated last month
• prg-titech / magritte
  A language for pipe-based programming
  ☆52Updated 2 years ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆53Updated 5 months ago
• comby-tools / comby-reducer
  A simple program reducer for any language.
  ☆74Updated 2 years ago
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆23Updated 6 months ago
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆76Updated 5 years ago