- Barcelona,Spain
- http://www.linkedin.com/in/yeradis
Highlights
- All languages
- ActionScript
- Agda
- ApacheConf
- C
- C#
- C++
- COBOL
- CSS
- Clojure
- Coq
- Cuda
- Dart
- Dockerfile
- EJS
- Elixir
- Erlang
- F#
- GDScript
- Gleam
- Go
- Groovy
- HCL
- HTML
- Haskell
- Haxe
- Idris
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- Kotlin
- Lean
- Lua
- MDX
- Makefile
- Markdown
- Nix
- OCaml
- Objective-C
- PHP
- PLpgSQL
- Pascal
- Perl
- PlantUML
- PostScript
- Python
- R
- Reason
- Rich Text Format
- Rocq Prover
- Ruby
- Rust
- SCSS
- Scala
- ShaderLab
- Shell
- Smali
- Starlark
- Svelte
- Swift
- TLA
- TeX
- TypeScript
- V
- Vim Script
- Visual Basic 6.0
- XSLT
- Zig
Starred repositories
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Classical equations and diagrams in machine learning
Book of Elementary Functional Algorithms and Data structures
📝 A website for automatically generating elegant LaTeX resumes.
A book about compiling Racket and Python to x86-64 assembly
A free book: "The Science of Functional Programming"
Structure and Interpretation of Computer Programs, Second Edition
Book in preparation: introduction to theoretical computer science
Source files for Statistical Thinking For the 21st Century
rrthomas / hpmor
Forked from bogdanb/hpmorPDF, ePUB and Mobi versions of “Harry Potter and the Methods of Rationality”, from LaTeX source
SICP PDF adapted to pocket format (for small e-reader screens)
Summaries of artifacts, templates, practices, and techniques for agile architecting (DPR-mm) and service design (SDPR-nn).
Working through Structure and Interpretation of Classical Mechanics.
The full source code and hyperlinked PDF of the book "Linear Algebra via Exterior Products" (2010)
Código LaTeX de Think Python, 2nd edition, en español.
Resources for Mathematics for Computer Science by Lehman, Leighton and Meyer and its corresponding course on MIT Open Library.