- 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.
A markup-based typesetting system that is powerful and easy to learn.
A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...
A syntax-highlighting pager for git, diff, grep, and blame output
Ergonomic and modular web framework built with Tokio, Tower, and Hyper
⭐️ A friendly language for building type-safe, scalable systems!
⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.
A self-paced course to learn Rust, one exercise at a time.
The transactional Elasticsearch alternative built on Postgres
MiniJinja is a powerful but minimal dependency template engine for Rust compatible with Jinja/Jinja2
Cleans dependencies and build artifacts from your projects.
A tool that automatically manages Rust dependencies by analyzing your source code and updating Cargo.toml