Stars
- All languages
- Agda
- Assembly
- Brainfuck
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Cuda
- Dockerfile
- Elm
- Emacs Lisp
- Erlang
- F#
- Frege
- GLSL
- Go
- HTML
- Haskell
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- Logos
- Lua
- MDX
- Makefile
- Markdown
- Mathematica
- NewLisp
- Nim
- Nix
- OCaml
- Objective-C
- PHP
- Perl
- PureScript
- Python
- R
- Racket
- Rocq Prover
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Smarty
- Solidity
- Standard ML
- SuperCollider
- Swift
- TSQL
- TeX
- TypeScript
- Verilog
- Vim Script
- Wikitext
- YASnippet
Technically-oriented PDF Collection (Papers, Specs, Decks, Manuals, etc)
Collection of game development related white papers
GIT utilities -- repo summary, repl, changelog population, author commit percentages and more
A decentralized and private (end-to-end encrypted) financial safety net for you and your friends.
Learn python3 in one picture.
Linux tutorials and cheatsheets. Minimal examples. Mostly user-land CLI utilities. Linux kernel at: https://github.com/cirosantilli/linux-kernel-module-cheat Linux教程和备忘单。 最少的例子。 主要是用户级CLI实用程序。 Linu…
A command line tool that recreates the famous data decryption effect seen in the 1992 movie Sneakers.
MOVED TO: https://cirosantilli.com/linux-kernel-module-cheat/userland-assembly with code at https://github.com/cirosantilli/linux-kernel-module-cheat/tree/master/userland/arch/x86_64 SEE README. x8…
This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
Manages your passwords without storing them.
A toolkit for developing and comparing reinforcement learning algorithms.
Summaries and notes on Deep Learning research papers
Quick introduction to ggplot2 (no knowledge of R assumed)
Empowering everyone to build reliable and efficient software.
Mirror of software-foundations course material
A Rust library to retry some code until its return value satisfies a condition.
Universal and robust reloading for Haskell web applications
A curated list of awesome OpenGL libraries, debuggers and resources.
THIS IS A READ-ONLY historic repository. Current development is at https://gerrit.hyperledger.org/r/#/admin/projects/fabric . pull requests not accepted