Lists (5)
Sort Name ascending (A-Z)
- All languages
- APL
- ATS
- Assembly
- BQN
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Cuda
- Cython
- Dart
- Dhall
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- Fennel
- Forth
- Go
- HTML
- Haskell
- Idris
- Isabelle
- Janet
- Java
- JavaScript
- Jupyter Notebook
- LLVM
- Lean
- Lua
- MATLAB
- Makefile
- Markdown
- Nix
- OCaml
- Objective-C
- PHP
- Perl
- Prolog
- PureScript
- Python
- Racket
- Reason
- Rocq Prover
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Slash
- SourcePawn
- Standard ML
- Svelte
- Swift
- TeX
- Text
- TypeScript
- Vim Script
- Vim Snippet
Starred repositories
Homebridge plugin that provides occupancy sensor for devices presence in your network
Flowistry is an IDE plugin for Rust that helps you focus on relevant code.
Use ripgrep to find TODO tags and display the results in a tree view
Port Kill helps you find and free ports and caches blocking your dev work.
Server-driven mobile apps with React Native
copy pasting in terminal with vimium/vimperator like hints.
A collection of formalized statements of conjectures in Lean.
A lightweight, native Windows Todo application built with pure C and the Win32 API. Just 60 KB
Control Google Chrome from the command line
A web-based ASCII and Unicode diagram builder written in vanilla Javascript
Business intelligence as code: build fast, interactive data visualizations in SQL and markdown
Simple notepad calculator built on Electron, powered by Math.js
iOS app that detects LaTeX symbols from drawings. Built using PencilKit, SwiftUI, Combine and CoreML for iOS 14(or greater) and macOS 11(or greater).
Building a full-fledged code editor for iPad
Synthwave inspired colour theme for VS Code 🌅🕶
This is the latest version of the internal repository from Pebble Technology providing the software to run on Pebble watches. Proprietary source code has been removed from this repository and it wi…
CLI tool to insert spacers when command output stops
Python tool for converting files and office documents to Markdown.