Alternatives and similar repositories for semantic

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

• tree-sitter / tree-sitter
  An incremental parsing system for programming tools
  ☆23,319Updated this week
• sourcegraph / sourcegraph-public-snapshot
  Code AI platform with Code Search & Cody
  ☆10,237Updated last year
• xi-editor / xi-editor
  A modern editor with a backend written in Rust.
  ☆19,844Updated last year
• dhall-lang / dhall-lang
  Maintainable configuration files
  ☆4,407Updated last week
• hmemcpy / milewski-ctfp-pdf
  Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
  ☆11,454Updated last week
• comby-tools / comby
  A code rewrite tool for structural search and replace that supports ~every language.
  ☆2,585Updated 4 months ago
• ohmjs / ohm
  A library and language for building parsers, interpreters, compilers, etc.
  ☆5,424Updated last week
• purescript / purescript
  A strongly-typed language that compiles to JavaScript
  ☆8,824Updated 2 months ago
• unisonweb / unison
  A friendly programming language from the future
  ☆6,464Updated last week
• revery-ui / revery
  Native, high-performance, cross-platform desktop apps - built with Reason!
  ☆8,060Updated 3 years ago
• reasonml / reason
  Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
  ☆10,291Updated last month
• steshaw / plt
  Programming Language Theory λΠ
  ☆5,328Updated last year
• bytecodealliance / lucet
  Lucet, the Sandboxing WebAssembly Compiler.
  ☆4,056Updated 3 years ago
• microsoft / BosqueLanguage
  The Bosque programming language is an experiment in regularized design for a machine assisted rapid and reliable software development lif…
  ☆5,236Updated 3 years ago
• microsoft / language-server-protocol
  Defines a common protocol for language servers.
  ☆12,484Updated last week
• google / codesearch
  Fast, indexed regexp search over large file trees
  ☆3,919Updated 7 months ago
• enso-org / enso
  Enso Analytics is a self-service data prep and analysis platform designed for data teams.
  ☆7,440Updated this week
• facebook / Haxl
  A Haskell library that simplifies access to remote data, such as databases or web-based services.
  ☆4,422Updated 2 months ago
• WebAssembly / binaryen
  Optimizer and compiler/toolchain library for WebAssembly
  ☆8,281Updated this week
• google / wuffs
  Wrangling Untrusted File Formats Safely
  ☆4,689Updated last month
• skiplang / skip
  A programming language to skip the things you have already computed
  ☆2,019Updated 2 years ago
• rhysd / vim.wasm
  Vim editor ported to WebAssembly
  ☆5,621Updated 2 months ago
• google / jsonnet
  Jsonnet - The data templating language
  ☆7,439Updated 5 months ago
• rescript-lang / rescript
  ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.
  ☆7,292Updated last week
• jlfwong / speedscope
  🔬 A fast, interactive web-based viewer for performance profiles.
  ☆6,422Updated last month
• cisco / ChezScheme
  Chez Scheme
  ☆7,243Updated 3 weeks ago
• wasmerio / wasmer
  🚀 Fast, secure, lightweight containers based on WebAssembly
  ☆20,303Updated this week
• commercialhaskell / stack
  The Haskell Tool Stack
  ☆4,044Updated this week
• rocq-prover / rocq
  The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, ex…
  ☆5,322Updated this week
• Wilfred / difftastic
  a structural diff that understands syntax 🟥🟩
  ☆23,948Updated this week