#
suimong
Follow
Lists (31)
AI
AI, ML, frameworks, apps, libs, tutorials, lecture notes etc.138 repositories
Algorithmic
Repos primarily deals with algorithms52 repositories
Assets/Repo
5 repositories
Benchmark
Repos that benchmark various related technologies, packages/libraries/databases etc.27 repositories
Blockchain
17 repositories
Computation & Analysis
Libraries or Frameworks that mainly does computation or supports some kind of data analysis.209 repositories
Configs & Setup
dotfiles, vim configs etc.50 repositories
Cool / Useful Apps
CLI utilities and stuff.136 repositories
Core backend infrastructure
213 repositories
Curation
Curated list of cool stuff59 repositories
🔮Cutting Edge / Niche / PL / Meta
New Programming Languages, meta programming, experimental ideas etc.211 repositories
DB/DBA
Databases, Database Administration Tools75 repositories
Early Stage
160 repositories
Educational
Books, Tutorials, Documentation sites, Lecture notes, Talk notes, MOOCs etc.104 repositories
Formal Methods / Solvers
51 repositories
Frontend
216 repositories
Fun
23 repositories
Game Theory
5 repositories
Hardware / Robotic
Related to hardware, keyboard, CPU, etc.9 repositories
✨ Inspiration
233 repositories
Julia
151 repositories
JVM Ecosystem
10 repositories
Knowledge modelling
39 repositories
Ops Infrastructure
SysOps / DevOps / NetworkOps / Homelab / ...295 repositories
Performant
Focus on performance & efficiency122 repositories
Productivity
51 repositories
Projects
33 repositories
Rust-Python
20 repositories
Security-focused
28 repositories
VCS
6 repositories
Web Tech
Crawler etc.52 repositories
Starred repositories
OGDF, the Open Graph Drawing Framework/Open Graph algorithms and Data structure Framework.
kew-lab / quiver
Forked from varkor/quiverA modern commutative diagram editor for the web.
WebAssembly ahead-of-time compiler and runtime. Focuses on generating fast code, simplicity, and portability.
🐼 Universal, Type-Safe, CSS-in-JS Framework for Product Teams ⚡️
The all-in-one Desktop & Docker AI application with full RAG and AI Agent capabilities.
Univer is an open-source alternative to Google Sheets, Slides, and Docs
aider is AI pair programming in your terminal
The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
Python PyPi staging server and packaging, testing, release tool
📐⚙ 2D vector line drawing and shape modeling for CNC and laser cutters.
Visually explore, understand, and present your data.
A Julia package for the creation, manipulation and analysis of the structure, dynamics and functions of multilayer graphs.
Slick (Scala Language Integrated Connection Kit) is a modern database query and access library for Scala
Test and benchmark suite for sort implementations.
Tinymist [ˈtaɪni mɪst] is an integrated language service for Typst [taɪpst].
Simple random DNS, HTTP/S internet traffic noise generator
Generate Nix packages from URLs with hash prefetching, dependency inference, license detection, and more [maintainer=@figsoda]
suimong / astexplorer
Forked from fkling/astexplorerA web tool to explore the ASTs generated by various parsers.
GritQL is a query language for searching, linting, and modifying code.
suimong / asterisk
Forked from getAsterisk/stackwalkASTerisk - Universal language-agnostic AST walking and accurate call stack generation with tree-sitter.
Cleans dependencies and build artifacts from your projects.
Utilities for converting Vega-Lite specs from the command line and Python
Tooling for working with language servers and clients.