An incremental parsing system for programming tools
- incremental
- parsing
- c
- tree-sitter
Repository Index
47,133 repositories indexed
1–24 of 50 · Most stars
Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh
An extremely fast Python type checker and language server, written in Rust.
Markdown for the component era
Sccache is a ccache-like tool. It is used as a compiler wrapper and avoids compilation when possible. Sccache has the capability to utilize caching in remote storage environments, including various cloud storage options, or alternatively, in local storage.
An extremely fast CSS parser, transformer, bundler, and minifier written in Rust.
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
- proof-assistant
- coq
- theorem-proving
- dependent-types
A utility library for JavaScript and TypeScript.
- typescript
- utility
- functional
- programming
Native Mac APIs for Go. Previously known as MacDriver
- golang
- apple
- macos
- objective-c
Extremely simple yet powerful header-only C++ plotting library built on the popular matplotlib
A Haskell library that simplifies access to remote data, such as databases or web-based services.
Incremental rust builds up to 92x faster than cargo/rustc
- cargo
- compiler
- cranelift
- developer-tools
A Graph Traversal Language (no longer active - see Apache TinkerPop)
A parser for InnoDB file formats, in Ruby
Typescript focused FP library similar to Remeda and Ramda
- fp
- ramda
- lodash
- utils
An interpreter for the Lua language, written entirely in C# for the .NET, Mono, Xamarin and Unity3D platforms, including handy remote debugger facilities.
- moonsharp
- mono
- debugger
- interpreter
Localization/I18n: Incrementally update/translate your Strings files from .swift, .h, .m(m), .storyboard or .xib files.
- localization
- xib
- storyboard
- swift
CEF4Delphi is an open source project to embed Chromium-based browsers in applications made with Delphi or Lazarus/FPC for Windows, Linux and MacOS.
- delphi
- cef
- chromium
- browser
R interface for Apache Spark
Sail architecture definition language
uniVocity-parsers is a suite of extremely fast and reliable parsers for Java. It provides a consistent interface for handling different file formats, and a solid framework for the development of new parsers.
Modify deeply nested case class fields
- scala
- lenses
- functional-programming
A TypeScript compiler for gulp with incremental compilation support.
A Python wrapper for the high-quality vocoder "World"