- 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
The transactional Elasticsearch alternative built on Postgres
A CLI tool to convert your codebase into a single LLM prompt with source tree, prompt templating, and token counting.
GIF encoder based on libimagequant (pngquant). Squeezes maximum possible quality from the awful GIF format.
A community fork of a language named after a plant fungus. All of the memory-safe features you love, now with 100% less bureaucracy!
Techniques and numbers for estimating system's performance from first-principles
A proxy server for adding push to your API, used at the core of Fastly's Fanout service
An alternative BEAM implementation, designed for WebAssembly
Command-line sampling profiler for macOS, Linux, and Windows
๐ Code quality CLI for universal linting, auto-formatting, security scanning, and maintainability
MiniJinja is a powerful but minimal dependency template engine for Rust compatible with Jinja/Jinja2
Drill is an HTTP load testing application written in Rust
Cleans dependencies and build artifacts from your projects.
Rust bindings for AppKit (macOS) and UIKit (iOS/tvOS). Experimental, but working!
Loungy is a WIP launcher in the vein of Spotlight, Alfred, Raycast.
Language Server Protocol implementation written in Rust
Rust examples for all 23 classic GoF design patterns, and even a little more
GlareDB: A light and fast SQL database for analytics
The open source design documentation tool for everybody
Erlang Language Platform. LSP server and CLI.
Open source Dropbox-like file sharing with full client encryption !
Specification and reference implementation of the TCN Protocol for decentralized, privacy-preserving contact tracing.
Open source, local-first knowledge platform.
โ๏ธ Take you through a tour of WebAssembly (WASM targets on WASI) with wasmCloud, Krustlet, WAGI, etc. ๐ Give it a star if you like it.