Lists (30)
Sort Name ascending (A-Z)
aerospace
art
biotechnology
cli-tools-and-libs
cloud-infra-devops
concurrency
data-engineering
embedded-and-robotics
finance
frontend-and-ui
functional-programming
games-and-gamedev
graphics
Rendering, visualization, video editing and arthpc-and-ai
learning-resources
libs
medicine-and-diagnosis
networking-and-distributed-sys
os-and-systems-dev
parsers-compilers-tracers
quantum-computing
runtimes
scientific
security-and-cryptography
silicon
simulations
theoretical-computer-science
utilities
web
web3
- All languages
- Agda
- Assembly
- Astro
- AutoIt
- Awk
- Ballerina
- Batchfile
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Cuda
- Cython
- Dart
- Dockerfile
- Elixir
- Erlang
- F*
- Fluent
- Fortran
- Frege
- Futhark
- GAP
- GDScript
- GDShader
- Gnuplot
- Go
- Go Template
- HCL
- HTML
- Handlebars
- Haskell
- HolyC
- Idris
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- KiCad Layout
- Koka
- Kotlin
- LLVM
- Lean
- Lua
- MATLAB
- MDX
- MLIR
- Makefile
- Markdown
- Mathematica
- Mermaid
- Modelica
- Motoko
- Mustache
- Nim
- Nix
- Nunjucks
- OCaml
- Objective-C
- Odin
- PHP
- PLpgSQL
- Pascal
- Pony
- PostScript
- PowerShell
- Processing
- Prolog
- Pug
- Python
- QML
- R
- Ragel
- Reason
- RobotFramework
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- SMT
- Sail
- Scala
- Scheme
- ShaderLab
- Shell
- Smarty
- Solidity
- Svelte
- Swift
- SystemVerilog
- TLA
- TSQL
- TeX
- TypeScript
- V
- Vala
- Verilog
- Vim Script
- Vue
- WebAssembly
- XSLT
- Zig
- hoon
Starred repositories
A neural network that transforms a design mock-up into a static website.
Open-source infrastructure for Computer-Use Agents. Sandboxes, SDKs, and benchmarks to train and evaluate AI agents that can control full desktops (macOS, Linux, Windows).
Interactively Visualizing Ownership and Borrowing for Rust
🔐CNCF Security Technical Advisory Group -- secure access, policy control, privacy, auditing, explainability and more!
Technical specifications for the IPFS protocol stack
STM32Cube MCU Full Package for the STM32F1 series - (HAL + LL Drivers, CMSIS Core, CMSIS Device, MW libraries plus a set of Projects running on all boards provided by ST (Nucleo, Evaluation and Dis…
Madoko is a fast markdown processor for high quality academic and technical articles
A series of docs detailing best practices for developing with WebGPU
Achoo uses a Raspberry Pi to predict if my son will need his inhaler on any given day using weather, pollen, and air quality data. If the prediction for a given day is above a specified threshold, …
This repository discloses a server-side authorization bypass in Instagram, which allowed unauthenticated access to private timelines; it seems likely that Meta patched it silently without formal ac…
A "markdown-first" approach for generating beautiful browser-based slides easily. Based on Reveal.js and Reveal-Jekyll.
[TPAMI 2022] Disentangling Light Fields for Super-Resolution and Disparity Estimation
arindas' personal website and blog for ruminating on their place and purpose in the tech world.
Personal Collection of Notes. https://deyloop.github.io/notebox