github / semantic

Related projects: ⓘ

• xi-editor / xi-editor
  A modern editor with a backend written in Rust.
  ☆19,819Updated 6 months ago
• toml-lang / toml
  Tom's Obvious, Minimal Language
  ☆19,421Updated last month
• microsoft / language-server-protocol
  Defines a common protocol for language servers.
  ☆11,103Updated this week
• tree-sitter / tree-sitter
  An incremental parsing system for programming tools
  ☆18,046Updated this week
• simdjson / simdjson
  Parsing gigabytes of JSON per second : used by Facebook/Meta Velox, the Node.js runtime, ClickHouse, WatermelonDB, Apache Doris, Milvus, …
  ☆19,126Updated last week
• hmemcpy / milewski-ctfp-pdf
  Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
  ☆10,913Updated 2 weeks ago
• sourcegraph / sourcegraph-public-snapshot
  Code AI platform with Code Search & Cody
  ☆10,104Updated 2 weeks ago
• dhall-lang / dhall-lang
  Maintainable configuration files
  ☆4,201Updated 3 months ago
• automerge / automerge-classic
  A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.
  ☆14,752Updated last year
• atom-archive / xray
  An experimental next-generation Electron-based text editor
  ☆8,480Updated 5 years ago
• unisonweb / unison
  A friendly programming language from the future
  ☆5,734Updated this week
• facebook / watchman
  Watches files and records, or triggers actions, when they change.
  ☆12,575Updated this week
• revery-ui / revery
  Native, high-performance, cross-platform desktop apps - built with Reason!
  ☆8,060Updated 2 years ago
• wasmerio / wasmer
  🚀 The leading Wasm Runtime supporting WASIX, WASI and Emscripten
  ☆18,457Updated this week
• reasonml / reason
  Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
  ☆10,122Updated 2 weeks ago
• denisidoro / navi
  An interactive cheatsheet tool for the command-line
  ☆14,832Updated 2 months ago
• purescript / purescript
  A strongly-typed language that compiles to JavaScript
  ☆8,543Updated last month
• facebook / zstd
  Zstandard - Fast real-time compression algorithm
  ☆23,228Updated 2 weeks ago
• antonmedv / fx
  Terminal JSON viewer & processor
  ☆18,929Updated last month
• ponylang / ponyc
  Pony is an open-source, actor-model, capabilities-secure, high performance programming language
  ☆5,680Updated 2 months ago
• apple / foundationdb
  FoundationDB - the open source, distributed, transactional key-value store
  ☆14,379Updated this week
• jqlang / jq
  Command-line JSON processor
  ☆30,098Updated this week
• ggreer / the_silver_searcher
  A code-searching tool similar to ack, but faster.
  ☆26,071Updated 3 months ago
• analysis-tools-dev / static-analysis
  ⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The foc…
  ☆13,198Updated this week
• asciinema / asciinema
  Terminal session recorder 📹
  ☆13,941Updated last month
• pomber / git-history
  Quickly browse the history of a file from any git repository
  ☆13,544Updated 2 months ago
• git-bug / git-bug
  Distributed, offline-first bug tracker embedded in git, with bridges
  ☆8,124Updated this week
• google / wuffs
  Wrangling Untrusted File Formats Safely
  ☆4,144Updated this week
• browsh-org / browsh
  A fully-modern text-based browser, rendering to TTY and browsers
  ☆16,937Updated 3 months ago
• capnproto / capnproto
  Cap'n Proto serialization/RPC system - core tools and C++ library
  ☆11,524Updated last week