Stars
- All languages
- Agda
- AutoHotkey
- C
- C#
- C++
- CSS
- Clojure
- Common Lisp
- Coq
- Cuda
- Elm
- Emacs Lisp
- Erlang
- Fennel
- Go
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Jupyter Notebook
- Lean
- Lua
- Markdown
- Motoko
- Nix
- OCaml
- Objective-C
- PLpgSQL
- Perl
- PowerShell
- Prolog
- PureScript
- Python
- Reason
- Red
- Rocq Prover
- Ruby
- Rust
- SCSS
- Scheme
- Shell
- Solidity
- Swift
- TeX
- Tree-sitter Query
- TypeScript
- Vim Script
- Vue
- WebAssembly
- Zig
Advent of Code complete solution archive and common library
A grep-like tool which understands source code syntax and allows for manipulation in addition to search
Bring the power of Tree-sitter to VSCode
A tool for managing code review comments embedded in source code
Fine-grained Haskell builds with Nix's dynamic derivations
Convert PDF to markdown + JSON quickly with high accuracy
A generative world for general-purpose robotics & embodied AI learning.
PDF parser and renderer. Includes a PostScript interpreter, a Type 1 font renderer, a TTF renderer, and a PNG decoder
π πβοΈβοΈππ Advent of Code Mega Repo
Practice touch typing in the cli in your source code.
A terminal program that allows you use any UTF-8 encoded files as a typing exercise.
AI app store powered by 24/7 desktop history. open source | 100% local | dev friendly | 24/7 screen, mic recording
FastAsk is a Python package that installs an easy to use command to your terminal to get a quick answer to a question, using either OpenAI GPT3.5/4 or a local model.
Run macOS VM in a Docker! Run near native OSX-KVM in Docker! X11 Forwarding! CI/CD for OS X Security Research! Docker mac Containers.
the scott CPU from "But How Do It Know?" by J. Clark Scott
Eldora UI is a collection of re-usable components that you can copy and paste into your web apps. It primarily features components, blocks, and templates.
Manage a user environment using Nix [maintainer=@khaneliman, @rycee]
Pingtunnel is a tool that send TCP/UDP traffic over ICMP