- 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
Build smaller, faster, and more secure desktop and mobile applications with a web frontend.
The Postgres development platform. Supabase gives you a dedicated Postgres database to build your web, mobile, and AI applications.
CockroachDB — the cloud native, distributed SQL database designed for high availability, effortless scale, and control over data placement.
🤯 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 …
Harness Open Source is an end-to-end developer platform with Source Control Management, CI/CD Pipelines, Hosted Developer Environments, and Artifact Registries.
Lightweight coding agent that runs in your terminal
Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
A super fast Graph Database uses GraphBLAS under the hood for its sparse adjacency matrix graph representation. Our goal is to provide the best Knowledge Graph for LLM (GraphRAG).
The Bluesky Social application for Web, iOS, and Android
Get up and running with OpenAI gpt-oss, DeepSeek-R1, Gemma 3 and other models.
A lightweight WebAssembly runtime that is fast, secure, and standards-compliant
A high-throughput and memory-efficient inference and serving engine for LLMs
Enhanced and security-focused fork of Signal.
Graphical Java application for managing BibTeX and BibLaTeX (.bib) databases
SQLDelight - Generates typesafe Kotlin APIs from SQL
Terragrunt is a flexible orchestration tool that allows Infrastructure as Code written in OpenTofu/Terraform to scale.
The open-source hub to build & deploy GPT/LLM Agents ⚡️
Context sensitive completion for OCaml in Vim and Emacs
The transactional Elasticsearch alternative built on Postgres
IntelliJ IDEA & IntelliJ Platform
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
The Amazon Web Services JDBC Driver has been redesigned as an advanced JDBC wrapper. This wrapper is complementary to and extends the functionality of an existing JDBC driver to help an application…
Compatibility tool for Steam Play based on Wine and additional components
⏩ Ship faster with Continuous AI. Open-source CLI that can be used in TUI mode as a coding agent or Headless mode to run background agents
Open-source keyboard firmware for Atmel AVR and Arm USB families
Visualize streams of multimodal data. Free, fast, easy to use, and simple to integrate. Built in Rust.
💻 A fully functional local AWS cloud stack. Develop and test your cloud & Serverless apps offline