- 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 principled instruction benchmark on formulating effective queries and prompts for large language models (LLMs). Our paper: https://arxiv.org/abs/2312.16171
awesome Python autocompletion with SublimeText
Install, configure and run JetBrains IDEs with Projector Server on Linux or in WSL
I'm trying to update the Real World Haskell book
Detector for Log4Shell exploitation attempts
Official uWSGI docs, examples, tutorials, tips and tricks
Make a ZIM file from any Web site and surf offline!
Tool to convert proprietary bank statement to OFX format, suitable for importing to GnuCash or other personal finance applications.
Cross-platform, multi-site, multi-threaded manga downloader with over 5000 distinct mangas. Includes support for automated downloading via external .xml file and conversion for viewing on the Kindle.
🎬 Native macOS app for recording timelapse videos of your desktop.
Yeoman generator for AngularJS + Flask
Adds torrents from AudioBookBay to a torrent client and set the download location.
Eclipse Java completion and refactoring powers in Sublime Text 2 using Eclim
Python class to gather stats and slab keys from memcached via the memcached telnet interface
Evaluate ergonomic keyboard layouts over multiple languages
Image captioning ready-to-go inference: show and tell model compatible with Tensorflow r1.9
This is the Python implementation of DistAlgo, a language for distributed algorithms.