- 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 plugin for reading and annotating PDFs and EPUBs in obsidian.
osm0sis / PlayIntegrityFork
Forked from jyotidwi/PlayIntegrityFixFix Play Integrity <A13 verdicts, allowing custom fields and props
KOWX712 / PlayIntegrityFix
Forked from jyotidwi/PlayIntegrityFixFix Play Integrity verdicts.
A high-throughput and memory-efficient inference and serving engine for LLMs
YouTube channel repo. Stuff that doesn't fit elsewhere.
A syntax-highlighting pager for git, diff, grep, and blame output
💖💖Here we are making almost all types of Spring Boot Applications that you suggested via linkedin/Gmail, If you are looking something that is out of the box then just ping me in linkedin or mail wi…
Tool to convert proprietary bank statement to OFX format, suitable for importing to GnuCash or other personal finance applications.
🦄 Monads and popular FP abstractions, powered by Go 1.18+ Generics (Option, Result, Either...)
The modern API client that lives in your terminal.
A tool that automatically manages Rust dependencies by analyzing your source code and updating Cargo.toml
Data Science at the Command Line
Visualize, collaborate, and evolve the software architecture with always actual and live diagrams from your code
A self-paced course to learn Rust, one exercise at a time.
A local-first personal finance app
Persistent cluster-friendly scheduler for Java
The transactional Elasticsearch alternative built on Postgres
Ergonomic and modular web framework built with Tokio, Tower, and Hyper
🤯 LobeHub - an open-source, modern design AI Agent Workspace. Supports multiple AI providers (OpenAI / Claude 4 / Gemini / DeepSeek / Ollama / Qwen), Knowledge Base (file upload / RAG ), one click …
AeroSpace is an i3-like tiling window manager for macOS
An authorization library that supports access control models like ACL, RBAC, ABAC in Golang: https://discord.gg/S5UjpzGZjN
TreeSheets : Free Form Data Organizer (see strlen.com/treesheets)
Make a ZIM file from any Web site and surf offline!
An OBS plugin for removing background in portrait images (video), making it easy to replace the background when recording or streaming.