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
- WebAssembly
- Zig
An oppiniated converter from unequivocal-ams typst documents to human-friendly latex.
A calm, CLI-native way to semantically grep everything, like code, images, pdfs and more.
mini cli search engine for your docs, knowledge bases, meeting notes, whatever. Tracking current sota approaches while being all local
Jump to definition for third party haskell libraries
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 inline 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.
run agents that work for you in the background based on what you do
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.