github / semantic
Parsing, analyzing, and comparing source code across many languages
☆8,977Updated 3 months ago
Related projects ⓘ
Alternatives and complementary repositories for semantic
- An incremental parsing system for programming tools☆18,738Updated this week
- Pony is an open-source, actor-model, capabilities-secure, high performance programming language☆5,725Updated last week
- A friendly programming language from the future☆5,807Updated this week
- A modern editor with a backend written in Rust.☆19,815Updated 8 months ago
- A strongly-typed language that compiles to JavaScript☆8,578Updated last month
- Vim editor ported to WebAssembly☆5,512Updated 4 months ago
- Maintainable configuration files☆4,230Updated 2 weeks ago
- A code rewrite tool for structural search and replace that supports ~every language.☆2,408Updated 6 months ago
- Enso Analytics is a self-service data prep and analysis platform designed for data teams.☆7,385Updated this week
- Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems☆10,149Updated this week
- Koka language compiler and interpreter☆3,314Updated 2 weeks ago
- Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theor…☆4,862Updated this week
- Native, high-performance, cross-platform desktop apps - built with Reason!☆8,064Updated 2 years ago
- Wrangling Untrusted File Formats Safely☆4,181Updated last week
- ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.☆6,755Updated last week
- A Haskell library that simplifies access to remote data, such as databases or web-based services.☆4,273Updated this week
- Defines a common protocol for language servers.☆11,282Updated this week
- Count your code, quickly.☆11,309Updated this week
- Cap'n Proto serialization/RPC system - core tools and C++ library☆11,713Updated this week
- A library and language for building parsers, interpreters, compilers, etc.☆5,004Updated 2 months ago
- Run compilers interactively from your web browser and interact with the assembly☆16,461Updated this week
- ✍️ Fusuma makes slides with Markdown easily.☆5,405Updated this week
- An experimental next-generation Electron-based text editor☆8,473Updated 5 years ago
- Red is a next-generation programming language strongly inspired by Rebol, but with a broader field of usage thanks to its native-code com…☆5,549Updated this week
- A work-in-progress, open-source, multi-player city simulation game.☆7,755Updated last year
- Parsing gigabytes of JSON per second : used by Facebook/Meta Velox, the Node.js runtime, ClickHouse, WatermelonDB, Apache Doris, Milvus, …☆19,373Updated last week
- Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Suppor…☆35,840Updated this week
- Record terminal sessions as SVG animations☆9,711Updated 4 years ago
- Optimizer and compiler/toolchain library for WebAssembly☆7,524Updated this week
- Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source☆11,015Updated last month