-
CapitalOne
- Richmond, VA
-
07:13
(UTC -04:00) - https://benknoble.github.io/
Highlights
- Pro
- All languages
- ActionScript
- Agda
- Assembly
- Awk
- Ballerina
- C
- C#
- C++
- CSS
- CWeb
- Clojure
- Common Lisp
- Coq
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- F#
- Fennel
- Forth
- GDScript
- GLSL
- Go
- HTML
- Handlebars
- Haskell
- Idris
- Janet
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- Lean
- Lua
- Markdown
- Mathematica
- Nim
- Nunjucks
- OCaml
- PHP
- POV-Ray SDL
- Pascal
- Perl
- Prolog
- Python
- R
- Racket
- Raku
- ReScript
- Ruby
- Rust
- SCSS
- Sass
- Scala
- Scheme
- Shell
- Standard ML
- Swift
- SystemVerilog
- TeX
- TypeScript
- VHDL
- Vim Script
- Vue
Starred repositories
📚 Freely available programming books
Style guides for Google-originated open-source projects
GTFOBins is a curated list of Unix binaries that can be used to bypass local security restrictions in misconfigured systems
A classless CSS framework to write modern websites using only HTML.
An exceptionally fast, thorough and tiny unused-CSS cleaner
A consistent code style guide for SQL to ensure legible and maintainable projects
A (nearly) no-CSS, fast, minimalist Jekyll theme.
turtles, patches, and links for kids, teachers, and scientists
Low-overhead tracing of all Linux kernel-user transitions, for serious performance analysis. Includes kernel patches, loadable module, and post-processing software. Output is HTML/SVG per-CPU-core …
A book about category theory
A collection of tools for writing technical documents that mix Coq code and prose.
Tactile Esoteric Programming Language useful for education