- Berkeley, CA
-
16:13
(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
🎓 Path to a free self-taught education in Computer Science!
Style guides for Google-originated open-source projects
OctoLinker — Links together, what belongs together
Parallel Computing and Scientific Machine Learning (SciML): Methods and Applications (MIT 18.337J/6.338J)
A living collection of deep learning problems
A collaboratively written review paper on deep learning, genomics, and precision medicine
A CPU+GPU Profiling library that provides access to timeline traces and hardware performance counters.
Optimize floating-point expressions for accuracy
Chicago undergraduate mathematics bibliography
A tresure-box of resources for pandoc, pp and Texts word processor.
Track trending arXiv papers on Twitter from within your circle
For when you're giving a presentation in half an hour, and you haven't got the time to open up keynote...
Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"
The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax"
Website to track people, organizations, and products (tools, websites, etc.) in AI safety
Parsers and (eventually) Idris code generator for WebIDL documents
A seminar on how to perform under pressure, ace job interviews, and work successfully in teams.
This tool can be used while you are working on a research project or at the end of it to make sure that you have done everything correctly and rigorously. The system will return a score for each of…
Website for the Spring 2018 offering of CS 294-131 (Special Topics in Deep Learning).