-
21:39
(UTC -06:00)
Lists (26)
Sort Name ascending (A-Z)
AI
blog
caldav
cloud-infra
docker
emacs
formal verification
haskell
Homelab
julia
latex
llms
networking
nix
Note taking
notebooks
nvim
obsidian
piracy
python
quantitative finance
Research challenge 22
rust
Shell,Dotfiles,Ergonomics
Theorem Proving
web3
Stars
- All languages
- Assembly
- Astro
- AutoHotkey
- Blade
- C
- C#
- C++
- CMake
- CSS
- Clojure
- Common Lisp
- Cuda
- Dhall
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- F*
- Flix
- Fluent
- GAP
- Go
- HCL
- HTML
- Handlebars
- Haskell
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- Koka
- Kotlin
- Lean
- LiveScript
- Lua
- MATLAB
- MDX
- Makefile
- Markdown
- Mathematica
- Mustache
- Nix
- OCaml
- Objective-C
- PHP
- Perl
- Python
- Rocq Prover
- Ruby
- Rust
- SCSS
- Scala
- Shell
- Smarty
- Solidity
- Swift
- TeX
- TypeScript
- V
- Vim Script
- Vue
- Wren
- YAML
- hoon
uBlock Origin - An efficient blocker for Chromium and Firefox. Fast and lean.
The best React-based framework with performance, scalability and security built in.
A cross-platform, customizable science fiction terminal emulator with advanced monitoring & touchscreen support.
🖤 Create and share beautiful images of your source code
The Cyber Swiss Army Knife - a web app for encryption, encoding, compression and data analysis
💌 An extensible desktop mail app built on the modern web. Forks welcome!
A Progressive Web App for local file sharing
A fully-modern text-based browser, rendering to TTY and browsers
📁 File Management Platform / Universal Data Access Layer (without FUSE)
📝 the simplest and smallest WYSIWYG text editor for web, with no dependencies
Create PDF documents using web technologies
Peer-to-Peer Databases for the Decentralized Web
uBlock: a fast, lightweight, and lean blocker for Chrome, Firefox, and Safari.
[DEPRECATED] Please see https://github.com/brave/brave-browser for the current version of Brave
Stylish, intuitive and user-friendly prompts. Used by eslint, webpack, yarn, pm2, pnpm, RedwoodJS, FactorJS, salesforce, Cypress, Google Lighthouse, Generate, tencent cloudbase, lint-staged, gluegu…
Collaborative office suite, end-to-end encrypted and open-source.
Let's learn a new technology every week. A new technology blog every Sunday in 2016.
Home of the Rockstar programming language
A Browser written in JS. Free. Modular. Hackable.
YouTube video downloader in javascript.
uMatrix: Point and click matrix to filter net requests according to source, destination and type
A command-line tool to turn web pages into readable PDF, EPUB, HTML, or Markdown docs.
Community list of awesome projects, apps, tools, pinning services and more related to IPFS.
A hackable slideshow framework built with Vue.js