- 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
FauxPilot - an open-source alternative to GitHub Copilot server
The OWASP Mobile Application Security Testing Guide (MASTG) is a comprehensive manual for mobile app security testing and reverse engineering. It describes technical processes for verifying the OWA…
OpenSnitch is a GNU/Linux interactive application firewall inspired by Little Snitch.
Advanced Python Mastery (course by @dabeaz)
MVT (Mobile Verification Toolkit) helps with conducting forensics of mobile devices in order to find signs of a potential compromise.
A curated list of awesome mathematics resources
Hierarchical Reasoning Model Official Release
The modern API client that lives in your terminal.
A little word cloud generator in Python
q - Run SQL directly on delimited files and multi-file sqlite databases
ChatRWKV is like ChatGPT but powered by RWKV (100% RNN) language model, and open source.
noDRM / DeDRM_tools
Forked from apprenticeharper/DeDRM_toolsDeDRM tools for ebooks
Chisel is a collection of LLDB commands to assist debugging iOS apps.
Official repository for Spyder - The Scientific Python Development Environment
CodeGeeX: An Open Multilingual Code Generation Model (KDD 2023)
abusing github commit history for the lulz
A Blender script to procedurally generate 3D spaceships
Keras code and weights files for popular deep learning models.
A font family with a great monospaced variant for programmers.
The tiniest PaaS you've ever seen. Piku allows you to do git push deployments to your own servers.
Hasklig - a code font with monospaced ligatures
Learning to See in the Dark. CVPR 2018
Policy and data administration, distribution, and real-time updates on top of Policy Agents (OPA, Cedar, ...)
Using the jedi autocompletion library for VIM.
Download and generate EPUB of your favorite books from O'Reilly Learning (aka Safari Books Online) library.