molikto's Stars
ClickHouse/ClickHouse
ClickHouse® is a real-time analytics DBMS
codemirror/codemirror5
In-browser code editor (version 5, legacy)
mxgmn/WaveFunctionCollapse
Bitmap & tilemap generation from a single example with the help of ideas from quantum mechanics
MithrilJS/mithril.js
A JavaScript Framework for Building Brilliant Applications
neo4j/neo4j
Graphs for Everyone
lz4/lz4
Extremely Fast Compression algorithm
zotero/zotero
Zotero is a free, easy-to-use tool to help you collect, organize, annotate, cite, and share your research sources.
ckeditor/ckeditor5
Powerful rich text editor framework with a modular architecture, modern integrations, and features like collaborative editing.
Cyan4973/xxHash
Extremely fast non-cryptographic hash algorithm
atom-archive/xray
An experimental next-generation Electron-based text editor
amitshekhariitbhu/Android-Debug-Database
A library for debugging android databases and shared preferences - Make Debugging Great Again
barteksc/AndroidPdfViewer
Android view for displaying PDFs rendered with PdfiumAndroid
rxin/db-readings
Readings in Databases
JetBrains/kotlin-native
Kotlin/Native infrastructure
share/sharedb
Realtime database backend based on Operational Transformation (OT)
pervognsen/bitwise
Bitwise is an educational project where we create the software/hardware stack for a computer from scratch.
yue/yue
A library for creating native cross-platform GUI apps
JetBrains/Arend
The Arend Proof Assistant
kotlin-graphics/imgui
Bloat-free Immediate Mode Graphical User interface for JVM with minimal dependencies (rewrite of dear imgui)
stedolan/mlsub
Prototype type inference engine
daniel3735928559/guppy
WYSIWYG mathematics editor with structured, searchable, LaTeX-compatible, and parseable output
ice1000/CompilerWorks
:octocat: 编译原理相关的工作岗位收集
ckesc/AdbKeyMonkey
Tool for control android device from PC keyboard
toolness/passage-emscripten
Jason Rohrer's game "Passage" (2007), ported to the web via Emscripten.