Alternatives and similar repositories for semantic

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

• dhall-lang / dhall-lang
  Maintainable configuration files
  ☆4,366Updated 5 months ago
• microsoft / language-server-protocol
  Defines a common protocol for language servers.
  ☆12,145Updated last week
• sourcegraph / sourcegraph-public-snapshot
  Code AI platform with Code Search & Cody
  ☆10,202Updated last year
• skiplang / skip
  A programming language to skip the things you have already computed
  ☆2,012Updated last year
• revery-ui / revery
  Native, high-performance, cross-platform desktop apps - built with Reason!
  ☆8,064Updated 3 years ago
• unisonweb / unison
  A friendly programming language from the future
  ☆6,188Updated this week
• tree-sitter / tree-sitter
  An incremental parsing system for programming tools
  ☆21,970Updated this week
• xi-editor / xi-editor
  A modern editor with a backend written in Rust.
  ☆19,837Updated last year
• simdjson / simdjson
  Parsing gigabytes of JSON per second : used by Facebook/Meta Velox, the Node.js runtime, ClickHouse, WatermelonDB, Apache Doris, Milvus, …
  ☆21,161Updated this week
• bytecodealliance / lucet
  Lucet, the Sandboxing WebAssembly Compiler.
  ☆4,050Updated 3 years ago
• comby-tools / comby
  A code rewrite tool for structural search and replace that supports ~every language.
  ☆2,537Updated 3 weeks ago
• purescript / purescript
  A strongly-typed language that compiles to JavaScript
  ☆8,761Updated 2 months ago
• google / codesearch
  Fast, indexed regexp search over large file trees
  ☆3,851Updated 3 months ago
• alacritty / alacritty
  A cross-platform, OpenGL terminal emulator.
  ☆60,217Updated last week
• uutils / coreutils
  Cross-platform Rust rewrite of the GNU coreutils
  ☆21,329Updated this week
• enso-org / enso
  Enso Analytics is a self-service data prep and analysis platform designed for data teams.
  ☆7,435Updated last week
• wasmerio / wasmer
  🚀 Fast, secure, lightweight containers based on WebAssembly
  ☆20,005Updated last week
• rhysd / vim.wasm
  Vim editor ported to WebAssembly
  ☆5,600Updated 4 months ago
• mislav / hub
  A command-line tool that makes git easier to use with GitHub.
  ☆22,920Updated last year
• nushell / nushell
  A new type of shell
  ☆36,357Updated this week
• facebook / Haxl
  A Haskell library that simplifies access to remote data, such as databases or web-based services.
  ☆4,310Updated 4 months ago
• reasonml / reason
  Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
  ☆10,265Updated last month
• redox-os / redox
  Mirror of https://gitlab.redox-os.org/redox-os/redox
  ☆15,545Updated this week
• ponylang / ponyc
  Pony is an open-source, actor-model, capabilities-secure, high performance programming language
  ☆5,937Updated last month
• compiler-explorer / compiler-explorer
  Run compilers interactively from your web browser and interact with the assembly
  ☆17,981Updated this week
• onivim / oni
  Oni: Modern Modal Editing - powered by Neovim
  ☆11,300Updated 5 years ago
• servo / servo
  Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.
  ☆31,443Updated this week
• koka-lang / koka
  Koka language compiler and interpreter
  ☆3,633Updated 2 weeks ago
• aalhour / awesome-compilers
  Curated list of awesome resources on Compilers, Interpreters and Runtimes
  ☆9,427Updated last year
• 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,199Updated this week