Skip to content
View at15's full-sized avatar
🐶
Eating
🐶
Eating

Organizations

@sjtug @dyweb @tongquhq @xephonhq @benchhub @libtsdb

Block or report at15

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Stars

PM

100 repositories

Language server for content, using @unifiedjs

JavaScript 84 6 Updated Apr 12, 2024

Versioned, fast, distributed Datalog engine for everyone.

Clojure 1,803 108 Updated Apr 15, 2026

TerminusDB is a distributed, collaborative database designed for building, sharing, versioning, and reasoning on structured data.

Prolog 3,253 129 Updated Apr 14, 2026

Compose Multiplatform, a modern UI framework for Kotlin that makes building performant and beautiful user interfaces easy and enjoyable.

Kotlin 18,983 1,393 Updated Apr 16, 2026

The reactive dataflow runtime that powers Observable Framework and Observable notebooks

JavaScript 1,070 84 Updated Nov 6, 2024

An extensible text-to-diagrams library that works in both browser and node.js

TypeScript 1,280 36 Updated Apr 16, 2026

Better tools for thought

TypeScript 7,225 262 Updated Mar 20, 2018

Plain text note-taking assistant

Go 2,530 177 Updated Apr 13, 2026

Universal personal search engine, powered by a full text search algorithm written in pure Ink, indexing Linus's blogs and private note archives, contacts, tweets, and over a decade of journals.

JavaScript 1,523 37 Updated Nov 6, 2022

Rudimentary Roam replica with Org-mode

Emacs Lisp 5,945 492 Updated Feb 24, 2026

Parser Building Toolkit for JavaScript

TypeScript 2,765 218 Updated Apr 15, 2026

Next-gen language engineering / DSL framework

TypeScript 990 92 Updated Apr 16, 2026

Uncode is a conceptual IDE designed for the cloud development, also a cloud-native low-code software development enviorment. Uncode 是一个面向云研发时代设计的下一代概念性 IDE。

TypeScript 239 26 Updated Nov 9, 2021

Cadence, the resource-oriented smart contract programming language 🏃‍♂️

Go 546 148 Updated Apr 16, 2026

Style and Grammar Checker for 25+ Languages

Java 14,386 1,503 Updated Apr 16, 2026

An experimental proofreading and linting language server for markdown files ✍️

Rust 180 8 Updated Mar 26, 2023

A fast, low-resource Natural Language Processing and Text Correction library written in Rust.

Rust 661 41 Updated May 23, 2023

The missing IntelliJ IDEA language support plugin for AWK

Awk 51 2 Updated Dec 27, 2025

The developer platform for on-demand cloud development environments to create software faster and more securely.

TypeScript 13,657 1,375 Updated Apr 13, 2026

Grist is the evolution of spreadsheets.

TypeScript 10,945 564 Updated Apr 16, 2026

Better Go Playground with autocompletion and syntax highlight

Go 1,474 97 Updated Apr 10, 2026

Free mind map editor with plug-ins for both NetBeans and Intellij

Java 401 44 Updated Mar 19, 2026

Lightning-fast and Powerful Code Editor written in Rust

Rust 38,305 1,253 Updated Apr 15, 2026

Package protocol implements Language Server Protocol specification in Go

Go 128 21 Updated Jan 7, 2026

language server protocol sdk implement for go

Go 136 26 Updated Mar 21, 2025

Go types for the messages used in the Language Server Protocol.

Go 108 20 Updated Feb 23, 2024

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

TypeScript 23,261 2,124 Updated Apr 16, 2026

Language services for HTML

TypeScript 274 130 Updated Apr 10, 2026

A modern system for literate programming.

C 138 33 Updated Apr 12, 2026

A simple vaultless password manager in Go

Go 2,422 105 Updated Mar 31, 2026