Stars
tmux for Chrome tabs — zero-dependency parallel Chrome tab controller via raw CDP
Autonomous coding agent as an SDK, IDE extension, or CLI assistant.
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
Generate the API Client for Fetch or Axios from an OpenAPI Specification
TypeScript Compiler API wrapper for static analysis and programmatic code changes.
🌳 A tiny language interpreter implemented purely in TypeScript's type-system
Jack into your Jenkins to execute Pipeline scripts, provide Pipeline step autocompletions, pull Shared Library step documenation, run console groovy scripts across multiple nodes, and more! Honestl…
🌟 [My TouchBar My rules]. The Touch Bar Customisation App for your MacBook Pro
Move and resize windows on macOS with keyboard shortcuts and snap areas
🚀 Awesome list of open source applications for macOS. https://t.me/s/opensourcemacosapps
Hacked-together implementation of Shortcuts for macOS Catalina using system frameworks
Build an educational formally verified version of the Nand 2 Tetris course using Coq (and other formal tools).
A TypeScript-like language for WebAssembly.
GraalVM compiles applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀
Abstractions from Category theory with simple description & implementation, links to further resources.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
📝A simple and elegant markdown editor, available for Linux, macOS and Windows.
A list of awesome beginners-friendly projects.
A neat little tool to build presentations using the Scala REPL
"Macrology 201" workshop at flatMap 2014: http://2014.flatmap.no/speakers/burmako.html
Tricks you wish the Coq manual told you [maintainer=@tchajed]
🎉 A magical vue admin https://panjiachen.github.io/vue-element-admin