- Pittsburgh, USA
- https://voidma.in/
- https://orcid.org/0000-0002-8839-0618
Stars
- All languages
- Agda
- Assembly
- C
- C#
- C++
- Clojure
- Common Lisp
- Coq
- D
- Emacs Lisp
- Go
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Koka
- Kotlin
- LLVM
- Lean
- Lua
- NASL
- Nix
- OCaml
- Pascal
- Perl
- Python
- QML
- Rocq Prover
- Roff
- Rust
- Sage
- Sail
- Scala
- Smalltalk
- SystemVerilog
- TeX
- TypeScript
- Typst
- Verilog
- Vim Script
Vim-fork focused on extensibility and usability
ripgrep recursively searches directories for a regex pattern while respecting your gitignore
A markup-based typesetting system that is powerful and easy to learn.
A privacy-first, open-source platform for knowledge management and collaboration. Download link: http://github.com/logseq/logseq/releases. roadmap: https://discuss.logseq.com/t/logseq-product-roadm…
Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.
stb single-file public domain libraries for C/C++
A book-in-progress about the Linux kernel and its insides.
Python sample codes and textbook for robotics algorithms.
A good looking terminal emulator which mimics the old cathode display...
FizzBuzz Enterprise Edition is a no-nonsense implementation of FizzBuzz made by serious businessmen for serious business purposes.
Torch implementation of neural style algorithm
A lightweight WebAssembly runtime that is fast, secure, and standards-compliant
pix2tex: Using a ViT to convert images of equations into LaTeX code.
Play with fluids in your browser (works even on mobile)
A multi-platform library for OpenGL, OpenGL ES, Vulkan, window and input
The official Open-Asset-Importer-Library Repository. Loads 40+ 3D-file-formats into one unified and clean data structure.
Defines a common protocol for language servers.
RenderDoc is a stand-alone graphics debugging tool.
Implementation of Nougat Neural Optical Understanding for Academic Documents
rga: ripgrep, but also search in PDFs, E-Books, Office documents, zip, tar.gz, etc.
Sioyek is a PDF viewer with a focus on textbooks and research papers