I write code, mostly #java and #scala.
- Madrid, Spain
- https://blog.tonivade.es/
- @tonivade@mastodon.social
- in/agmconejo
- All languages
- AMPL
- Assembly
- Astro
- Awk
- C
- C#
- C++
- COBOL
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Crystal
- D
- Dart
- Dockerfile
- Elixir
- Elm
- Erlang
- Fennel
- Flix
- Frege
- Go
- Gosu
- Groovy
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Jinja
- Jsonnet
- Jupyter Notebook
- Just
- Koka
- Kotlin
- Lua
- MDX
- Makefile
- Markdown
- Nim
- Nix
- Nunjucks
- Nushell
- OCaml
- Objective-C
- PHP
- PLpgSQL
- Pascal
- Perl
- Pony
- PowerShell
- Prolog
- PureScript
- Python
- QML
- R
- Raku
- Reason
- Roff
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Swift
- TeX
- Tree-sitter Query
- TypeScript
- Typst
- V
- Vala
- Vim Script
- Vue
- Zig
- jq
- sed
Starred repositories
7
stars
written in TeX
Clear filter
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
📝 A website for automatically generating elegant LaTeX resumes.
Project overview, general documentation, and white papers. The CWA development ends on May 31, 2023. You still can warn other users until April 30, 2023. More information:
A free book: "The Science of Functional Programming"
The Type Astronaut's Guide to Shapeless
Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically