- Berkeley, CA
-
22:16
(UTC -07:00) - alok.github.io
- @TheRevAlokSingh
- https://YouTube.com/@TheRevAlokSingh
- https://letterboxd.com/yuppiemephisto/
Highlights
- Pro
Lists (1)
Sort Name ascending (A-Z)
Stars
- All languages
- Agda
- AppleScript
- C
- C#
- C++
- CSS
- Clojure
- Common Lisp
- Coq
- Cuda
- Cython
- Dart
- Dhall
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- F*
- Fennel
- GAP
- GDB
- Go
- HTML
- Haskell
- Idris
- JSONiq
- Jai
- Janet
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- Lean
- Lua
- M4
- MATLAB
- Makefile
- Markdown
- Mathematica
- Metal
- Nix
- OCaml
- Objective-C
- Objective-C++
- PHP
- PLpgSQL
- Perl
- PostScript
- PureBasic
- PureScript
- Python
- R
- Racket
- Rocq Prover
- Ruby
- Rust
- SCSS
- Sail
- Scala
- Shell
- Slash
- Standard ML
- Swift
- SystemVerilog
- TSQL
- TeX
- Tree-sitter Query
- TypeScript
- Typst
- VBA
- Vim Script
- Vue
- Wolfram Language
- Zig
The fastest path to AI-powered full stack observability, even for lean teams.
Rofi: A window switcher, application launcher and dmenu replacement
AddressSanitizer, ThreadSanitizer, MemorySanitizer
Sioyek is a PDF viewer with a focus on textbooks and research papers
Linux tool to show progress for cp, mv, dd, ... (formerly known as cv)
A customisable 3D platform for agent-based AI research
Low-level unprivileged sandboxing tool used by Flatpak and similar projects
htop is an interactive text-mode process viewer for Unix systems. It aims to be a better 'top'.
sc-im - Spreadsheet Calculator Improvised -- An ncurses spreadsheet program for terminal
Simplifying reinforcement learning for complex game environments
Lightweight automation and productivity app for OS X
A C library for parsing/normalizing street addresses around the world. Powered by statistical NLP and open geo data.
A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.
A vi-like editor based on Plan 9's structural regular expressions
Bash and Zsh shell history TUI suggest box - easily view, navigate, search and manage your command history.
blingful character graphics/TUI library. definitely not curses.
Up to 100x faster strings for C, C++, CUDA, Python, Rust, Swift, JS, & Go, leveraging NEON, AVX2, AVX-512, SVE, GPGPU, & SWAR to accelerate search, hashing, sorting, edit distances, sketches, and m…
Security oriented software fuzzer. Supports evolutionary, feedback-driven fuzzing based on code coverage (SW and HW based)
Audio server that can play to AirPlay 1+2 speakers (multiroom), Chromecast and locally. Supports Spotify, internet radio and many file formats. Also MPD server, iTunes DAAP, smart playlists, Apple …
luna programming language - a small, elegant VM implemented in C