Michael

@Mike-Dax · User

GitHub profile ↗ · Compare

Building Electric UI - a high performance, cross-platform user interface toolkit for realtime hardware visualisation and control.

South Australia17 followers163 repositories

Repositories

Mike-Dax/umbrella

⛱ Broadly scoped ecosystem & mono-repository of 180 TypeScript projects for general purpose, functional, data driven development

★ 0TypeScriptForks 0

Mike-Dax/duckdb

DuckDB is an analytical in-process SQL database management system

★ 0Forks 0

Mike-Dax/codex

Lightweight coding agent that runs in your terminal

★ 0Forks 0

Mike-Dax/vllm

A high-throughput and memory-efficient inference and serving engine for LLMs

★ 0Forks 0

Mike-Dax/ast-grep

⚡A CLI tool for code structural search, lint and rewriting. Written in Rust

★ 0RustForks 0

Mike-Dax/aider

aider is AI pair programming in your terminal

★ 0PythonForks 0

Mike-Dax/continue

⏩ Ship faster with Continuous AI. Build and run custom agents across your IDE, terminal, and CI

★ 0Forks 0

Mike-Dax/detect-libc

Node.js module to detect details of the C standard library (libc) implementation provided by a given Linux system

★ 0Forks 0

Mike-Dax/gatsby-remark-videos

Embed html5 style looping videos in your Gatsby site direct from your markdown. Used on https://electricui.com

★ 14TypeScriptForks 13

Mike-Dax/table

🤖 Headless UI for building powerful tables & datagrids for TS/JS - React-Table, Vue-Table, Solid-Table, Svelte-Table

★ 0Forks 0

Mike-Dax/diagram

JS tool for making node graphs. Inspired by dependency graph

★ 0TypeScriptForks 0