Haohan Yang

MongoDB Compass on the browser

Python library to convert MathML to LaTeX using transpect's mml2tex XSLT

MongoDB data source for Grafana

Extensions for the Zed editor

Agda language support for Zed editor

AWS DynamoDB data source for Grafana

Recipes for the ConanCenter repository

Starter template for wxWidgets with CMake

Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞

Python bindings to Phreeqc

Personal bucket with wide variety of applications.

Starter template for C++ dev on VSCode on windows using msys2

Easier n8n integration with Reddit

Experimental Docker images for MongoDB Compass Web

The GUI for MongoDB.

PinMeTo MCP server that enables users with authorized credentials to unlock their data

MongoDB utility libraries for data import/export and schema analysis

🗳️ A implementation of the ShadowRealm API Proposal, a JavaScript sandbox, test with TC39 Test262 cases.

haohanyang/haohanyang is a special repository. Its README.md will appear on your public profile。

The repository for high quality TypeScript type definitions.

Mirror of fenics dolfin

A description of the Erlang Runtime System ERTS and the virtual Machine BEAM.

MongoDB driver for Elixir

Sample node.js application and docker images build

Agda is a dependently typed programming language / interactive theorem prover.

An example combining scikit-build and pybind11

Lawrence's Agda course

binary releases of VS Code without MS branding/telemetry/licensing

No description provided.

CSV, JSON, GraphQL, XML and HTML datasource for grafana.