- Michigan
-
17:37
(UTC -04:00) - in/miketenglish
- @englishm.bsky.social
- @[email protected]
Highlights
- Pro
Lists (1)
Sort Name ascending (A-Z)
Stars
- All languages
- AMPL
- Agda
- AppleScript
- Arc
- Arduino
- Assembly
- Awk
- Batchfile
- Bikeshed
- Bison
- Bluespec
- Brightscript
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Csound Document
- D
- Dart
- Dhall
- Diff
- Dockerfile
- Eagle
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- Factor
- Fennel
- Forth
- Fortran
- GLSL
- Go
- Groff
- Groovy
- HCL
- HTML
- Haml
- Handlebars
- Haskell
- Inform 7
- Inno Setup
- J
- JSON
- Java
- JavaScript
- Jinja
- Jsonnet
- Jupyter Notebook
- Kaitai Struct
- KiCad Layout
- Kotlin
- Lua
- MDX
- Makefile
- Markdown
- Mercury
- MiniZinc
- Mustache
- Nginx
- Nim
- Nix
- Nunjucks
- OCaml
- Objective-C
- Objective-C++
- Opa
- OpenSCAD
- PHP
- PLpgSQL
- Pascal
- Perl
- Perl 6
- Pony
- PostScript
- PowerShell
- Processing
- Prolog
- Puppet
- PureScript
- Python
- QML
- R
- Racket
- Raku
- Rez
- Rich Text Format
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- SWIG
- SaltStack
- Scala
- Scheme
- Self
- Shell
- Smalltalk
- Smarty
- Standard ML
- Svelte
- Swift
- Tcl
- TeX
- TypeScript
- VHDL
- Vala
- Verilog
- Vim Script
- Vue
- XSLT
- Yacc
- ZAP
- ZIL
- Zig
- q
- wisp
GoPro GP-Log2, GP-Log, Protune Flat & LogB ACES IDTs and YRGB Transforms for DaVinci Resolve
Refine high-quality datasets and visual AI models
An end-to-end voice assistant running entirely on Apple Silicon.
SGLang is a high-performance serving framework for large language models and multimodal models.
The Plato Reader — parallel Greek/English complete works of Plato with Stephanus citations
A parallel Greek–English reader for Aristotle's Nicomachean Ethics (Bekker text, Rackham & Ross translations, LSJ lookups, search)
SkillOpt is a text-space optimizer that trains reusable natural-language skills for frozen LLM agents through trajectory-driven edits, validation-gated updates, and deployable best_skill.md artifacts.
Unofficial from-scratch macOS audio driver for the TASCAM US-122MKII USB interface. Reverse-engineered: user-space libusb daemon + Core Audio HAL plugin + Swift menu app.
A safe, fast Rust port of MediaInfoLib — reads technical and tag metadata from 177 audio, video, image, and container formats. Drop-in libmediainfo replacement (C ABI + CLI), differential-tested by…
Restore, enhance & level audio from any file or video track — denoise, de-hum, de-click, de-reverb, LUFS. Pure Rust, single static binary, no ffmpeg.
Pure-Rust HLS/DASH/CMAF media packager (oracle: Shaka Packager)
A compute toolkit for the web with the depth of Plan 9 from Bell Labs
HyprStream: agentic infrastructure for continous online-learning applications
A drum sample loader for my Pocket Operator K.O.
Ideas for projects related to Tinker
This repository is a paper digest of recent advances in collaborative / cooperative / multi-agent perception for V2I / V2V / V2X autonomous driving scenario.
Official Codebase for "DreamDojo: A Generalist Robot World Model from Large-Scale Human Videos" (ICML 2026)
ConvMAE: Masked Convolution Meets Masked Autoencoders
This is the official code repo for DiT4DiT, a Vision-Action-Model (VAM) framework that combines video generation model with flow-matching-based action prediction for generalizable robotic manipulat…
Turn natural language into CLI commands using Apple's on-device AI
Discover Netflix's Open Connect Appliance (OCA) assigned to your connection. This tool fetches and displays detailed connectivity and hosting information, facilitating optimized content delivery ne…
A fork of Windows Terminal with native agent integration, right in your command line.
C++ port of the Reticulum Network Stack — a cryptographic mesh networking library that runs on both 32-bit+ microcontrollers (ESP32, nRF52, LoRa boards) and native platforms (Linux, macOS), with Pl…
Rescuing recipes from proprietary formats by converting them to Obsidian markdown.