- 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
🙃 A delightful community-driven (with 2,400+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python…
Node Version Manager - POSIX-compliant bash script to manage multiple active node.js versions
binary releases of VS Code without MS branding/telemetry/licensing
Run macOS on QEMU/KVM. With OpenCore + Monterey + Ventura + Sonoma support now! Only commercial (paid) support is available now to avoid spammy issues. No Mac system is required.
Production-ready fullstack but simple mail server (SMTP, IMAP, LDAP, Antispam, Antivirus, etc.) running inside a container.
An innovative superfamily of fonts for code
Run Windows apps such as Microsoft Office/Adobe in Linux (Ubuntu/Fedora) and GNOME/KDE as if they were a part of the native OS, including Nautilus integration.
Command-line tools for working with Architecture Decision Records
Time Machine style backup with rsync.
Bash, Zsh and fish completion support for git-flow.
You don't have the time to watch all the WWDC session videos yourself? No problem me and many contributors extracted the gist for you 🥳
Decentralized Privacy-Preserving Proximity Tracing -- Documents
A fast and lightweight native programming language
Mimic the native iOS system notification in SwiftUI.
Kubernetes cluster (for testing purposes) made easy with Vagrant and CoreOS.
A collection of Automator workflows (services) that speed up your design / development process. Compatible with LaunchBar 6 actions
Huge AI models catalog. A curated list of AI tools, platforms, and resources across various domains.
🔒 A simple password manager using GPG written in POSIX sh.
Volcado de la Base de Datos Nacional de Subvenciones (BDNS).
Amazon RDS Support Tools contains utilities, sql, scripts and views which are useful in a RDS environment
A bash script to send iOS push notifications with the Apple Push Notification service (APNs)
Dockerized cluster architecture for OpenSearch with compose.
A series of obstacle courses as a way to compare how different languages and frameworks handle structured concurrency
Compare man pages between macOS Big Sur and macOS Monterey
OpenJDK installer packages for Synology NAS and QNAP NAS.