Alternatives and similar repositories for rascal-language-servers

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

• smarr / ReBench
  Execute and document benchmarks reproducibly.
  ☆97Updated 6 months ago
• xieyuheng / inet-js
  This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)
  ☆58Updated 6 months ago
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆24Updated last year
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆42Updated 8 months ago
• GaloisInc / daedalus
  The Daedalus data description language
  ☆87Updated last week
• dawn-lang / ucc
  Untyped Concatenative Calculus
  ☆19Updated 4 years ago
• AlloyTools / models
  A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilitie…
  ☆138Updated 7 months ago
• ocapn / syrup
  Syrup is a simple binary way of preserving data on the wire, with perhaps a few extra calories.
  ☆27Updated last year
• isabelle-prover / mirror-isabelle
  Git mirror of https://isabelle.in.tum.de/repos/isabelle
  ☆81Updated this week
• harp-lab / slog-lang1
  Slog 1.0
  ☆46Updated last year
• s-zeng / dhall-python
  Python bindings for dhall, a functional configuration language
  ☆48Updated last year
• metaborg / spoofax
  Spoofax runtime
  ☆160Updated 9 months ago
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆95Updated this week
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆140Updated last month
• vmchale / apple
  Apple array system
  ☆69Updated last month
• atlanmod / coqtl
  CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq
  ☆14Updated 3 years ago
• lukehutch / pikaparser
  The Pika Parser reference implementation
  ☆148Updated last month
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆121Updated last month
• HarvardPL / AbcDatalog
  Datalog that's as easy as ABC.
  ☆67Updated 5 months ago
• eatkins / tree-sitter-ebnf-generator
  Convert an EBNF grammar to the tree-sitter dsl
  ☆28Updated 2 years ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆65Updated 2 months ago
• Limvot / kraken
  The Kraken Programming Language
  ☆49Updated last year
• dawn-lang / dawn-phase1
  Dawn Phase 1 proto-language
  ☆37Updated 4 years ago
• Ekdohibs / camlboot
  Experiment on how to bootstrap the OCaml compiler
  ☆111Updated 3 years ago
• mthom / scryer-shen
  ☆58Updated 8 months ago
• rems-project / cn
  CN separation logic refinement type system for C
  ☆44Updated this week
• eqlog / eqlog
  Datalog with equality for rust
  ☆72Updated last month
• tlaplus-community / tree-sitter-tlaplus
  A tree-sitter grammar for TLA⁺ and PlusCal
  ☆73Updated 2 weeks ago
• etiamz / supercompilation-resources
  📚 A collection of resources about supercompilation
  ☆128Updated 6 months ago
• usethesource / rascal
  The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based…
  ☆448Updated this week