github / semantic
Parsing, analyzing, and comparing source code across many languages
☆9,012Updated 6 months ago
Alternatives and similar repositories for semantic:
Users that are interested in semantic are comparing it to the libraries listed below
- An incremental parsing system for programming tools☆19,623Updated this week
- Maintainable configuration files☆4,265Updated last month
- A friendly programming language from the future☆5,914Updated this week
- A modern editor with a backend written in Rust.☆19,810Updated 11 months ago
- Text-mode interface for git☆12,597Updated 2 weeks ago
- Parsing gigabytes of JSON per second : used by Facebook/Meta Velox, the Node.js runtime, ClickHouse, WatermelonDB, Apache Doris, Milvus, …☆19,766Updated this week
- A strongly-typed language that compiles to JavaScript☆8,648Updated 4 months ago
- Code AI platform with Code Search & Cody☆10,151Updated 5 months ago
- Tom's Obvious, Minimal Language☆19,698Updated 4 months ago
- Lucet, the Sandboxing WebAssembly Compiler.☆4,053Updated 2 years ago
- Browser-based frontend to gdb (gnu debugger). Add breakpoints, view the stack, visualize data structures, and more in C, C++, Go, Rust, a…☆10,002Updated 11 months ago
- Good-lookin' diffs. Actually… nah… The best-lookin' diffs.☆17,460Updated 2 weeks ago
- Defines a common protocol for language servers.☆11,544Updated this week
- Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems☆10,189Updated this week
- Vim editor ported to WebAssembly☆5,581Updated 7 months ago
- An experimental code editor for writing algorithms☆2,916Updated 5 years ago
- An experimental next-generation Electron-based text editor☆8,464Updated 5 years ago
- A library and language for building parsers, interpreters, compilers, etc.☆5,236Updated last week
- Extremely fast non-cryptographic hash algorithm☆9,501Updated last week
- A code rewrite tool for structural search and replace that supports ~every language.☆2,445Updated 9 months ago
- Terminal JSON viewer & processor☆19,245Updated last week
- A code-searching tool similar to ack, but faster.☆26,356Updated 8 months ago
- mawww's experiment for a better code editor☆10,144Updated this week
- A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.☆14,733Updated last year
- Oni: Modern Modal Editing - powered by Neovim☆11,339Updated 4 years ago
- Kythe is a pluggable, (mostly) language-agnostic ecosystem for building tools that work with code.☆1,972Updated this week
- Mirror of https://gitlab.redox-os.org/redox-os/redox☆15,313Updated this week
- FoundationDB - the open source, distributed, transactional key-value store☆14,818Updated this week
- Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theor…☆4,941Updated this week
- The Bosque programming language is an experiment in regularized design for a machine assisted rapid and reliable software development lif…☆5,249Updated 2 years ago