haztecaso
Graduated in maths, Interested in geometry, logic and formal methods. I'm also a self-taught web developer. I love free software and use nixos on my machines
Spain
haztecaso's Stars
spectronp/qutebrowser-buku
Integrate Buku in Qutebrowser
Sage/jsurl
URL-friendly JSON
yaxu/p5dirt
Thingie for echoing superdirt parameters to processing
logseq/publish-spa
A github action and CLI to publish logseq graphs as a SPA app
TaserudConsulting/jsonresume-nix
Reproducible résumé using Nix ❄️ and jsonresume
Mic92/nix-ld
Run unpatched dynamic binaries on NixOS
mathiasbynens/evil.sh
:speak_no_evil: Subtle and not-so-subtle shell tweaks that will slowly drive people insane.
pinpox/lollypops
Lollypop Operations - NixOS Deployment Tool
pinpox/nixos
My NixOS Configurations
ryan4yin/nixos-and-flakes-book
:hammer_and_wrench: :heart: Want to know NixOS & Flakes in detail? Looking for a beginner-friendly tutorial? Then you've come to the right place! 想要学习使用 NixOS 与 Flakes 吗?在寻找一份新手友好的教程?那你可来对地方了!
guillegran/TFGMates
DeterminateSystems/nuenv
A Nushell environment for Nix
observer/tincDifferent
tinc different! - another way of setting up tinc VPN networks on NixOS..
tangrams/tangram
WebGL map rendering engine for creative cartography
NobbZ/nixos-config
cshum/imagor
Fast, secure image processing server and Go library, using libvips
target/strelka
Real-time, container-based file scanning at enterprise scale
nashc-dev/android_kernel_realme_mt6785
Kernel source for Realme 8 (nashc).
rmagatti/goto-preview
A small Neovim plugin for previewing definitions using floating windows.
LostRuins/koboldcpp
A simple one-file way to run various GGML and GGUF models with KoboldAI's UI
mitchmindtree/tidalcycles.nix
A Nix flake for Tidal Cycles.
guillegran/guillermoTFM
Higgs Bundles Twisted by a Vector Bundle
jasonwebb/morphogenesis-resources
Resources on the topic of digital morphogenesis (creating form with code). Includes links to major articles, code repos, creative projects, books, software, and more.
mmasdeu/hilbert
Formalization of Hilbert's axioms for plane geometry in Lean
mmasdeu/hilbertgame
Learn Lean with Hilbert's geometry
Ja1941/hilberts-axioms
alphacep/vosk-api
Offline speech recognition API for Android, iOS, Raspberry Pi and servers with Python, Java, C# and Node
zhaoshenzhai/mathwiki
A statically-generated site to host my math course notes in university.
jaalonso/Explorando-con-Lean
Explorando formalizaciones con Lean
jaalonso/Formalizacion_de_las_matematicas_en_Lean
Formalización de las matemáticas en Lean