publictheta

publictheta's Stars

• googlefonts/fontations

  Reading and writing font files

  Language:Rust36622

• swiftlang/swift-experimental-string-processing

  An early experimental general-purpose pattern matching engine for Swift.

  Language:Swift27445

• golang/go

  The Go programming language

  Language:Go123k17.5k

• dotnet/roslyn

  The Roslyn .NET compiler provides C# and Visual Basic languages with rich code analysis APIs.

  Language:C#18.9k4k

• dotnet/csharplang

  The official repo for the design of the C# programming language

  Language:C#11.4k1k

• ocaml/ocaml

  The core OCaml system: compilers, runtime system, base libraries

  Language:OCaml5.4k1.1k

• coq/coq

  Coq is a formal proof management system. 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.

  Language:OCaml4.8k639

• facebook/lexical

  Lexical is an extensible text editor framework that provides excellent reliability, accessibility and performance.

  Language:TypeScript19.2k1.6k

• adobe-type-tools/Adobe-Japan1

  The Adobe-Japan1-7 Character Collection

  697

• rust-lang/regex

  An implementation of regular expressions for Rust. This implementation uses finite automata and guarantees linear time matching on all inputs.

  Language:Rust3.5k435

• rust-lang/book

  The Rust Programming Language

  Language:Rust14.9k3.4k

• rust-lang/reference

  The Rust Reference

  Language:Rust1.2k475

• rust-unofficial/patterns

  A catalogue of Rust design patterns, anti-patterns and idioms

  Language:Handlebars8k363

• mdn/browser-compat-data

  This repository contains compatibility data for Web technologies as displayed on MDN

  Language:JSON4.9k2k

• mdn/content

  The content behind MDN Web Docs

  Language:Markdown9.1k22.4k

• dtinit/data-transfer-project

  The Data Transfer Project makes it easy for platforms to build interoperable user data portability features. We are establishing a common framework, including data models and protocols, to enable direct transfer of data both into and out of participating online service providers.

  Language:Java3.6k483

• ckan/ckan

  CKAN is an open-source DMS (data management system) for powering data hubs and data portals. CKAN makes it easy to publish, share and use data. It powers catalog.data.gov, open.canada.ca/data, data.humdata.org among many other sites.

  Language:Python4.4k2k

• google/budoux

  Language:Python1.4k31

• google/diff-match-patch

  Diff Match Patch is a high-performance library in multiple languages that manipulates plain text.

  Language:Python7.4k1.1k

• antlr/antlr4

  ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.

  Language:Java17k3.3k

• textmate/textmate

  TextMate is a graphical text editor for macOS 10.12 or later

  Language:Objective-C++14.2k1.7k

• microsoft/vscode-hexeditor

  VS Code Hex Editor

  Language:TypeScript52585

• microsoft/monaco-editor

  A browser based code editor

  Language:JavaScript39.9k3.6k

• microsoft/vscode-loc

  VS Code Localization Extension

  549298

• excalidraw/excalidraw

  Virtual whiteboard for sketching hand-drawn like diagrams

  Language:TypeScript81.1k7.5k

• bincode-org/bincode

  A binary encoder / decoder implementation in Rust.

  Language:Rust2.6k265

• trunk-rs/trunk

  Build, bundle & ship your Rust WASM application to the web.

  Language:Rust3.4k251

• python/cpython

  The Python programming language

  Language:Python62.3k29.9k

• ProseMirror/prosemirror

  The ProseMirror WYSIWYM editor

  Language:JavaScript7.6k336

• codemirror/codemirror5

  In-browser code editor (version 5, legacy)

  Language:JavaScript26.8k5k