haztecaso

haztecaso's Stars

• alphacep/vosk-api

  Offline speech recognition API for Android, iOS, Raspberry Pi and servers with Python, Java, C# and Node

  Language:Jupyter Notebook8.3k1211.5k1.1k

• LostRuins/koboldcpp

  Run GGUF models easily with a KoboldAI UI. One File. Zero Install.

  Language:C++5.7k67823374

• cshum/imagor

  Fast, secure image processing server and Go library, using libvips

  Language:Go3.5k25159138

• tangrams/tangram

  WebGL map rendering engine for creative cartography

  Language:JavaScript2.2k97376290

• mathiasbynens/evil.sh

  :speak_no_evil: Subtle and not-so-subtle shell tweaks that will slowly drive people insane.

  Language:Shell2.2k5319210

• 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 吗？在寻找一份新手友好的教程？那你可来对地方了！

  Language:Nix2.1k1836104

• 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.

  2.1k10537116

• target/strelka

  Real-time, container-based file scanning at enterprise scale

  Language:Python8854296116

• rmagatti/goto-preview

  A small Neovim plugin for previewing definitions using floating windows.

  Language:Lua87937429

• Mic92/nix-ld

  Run unpatched dynamic binaries on NixOS

  Language:Rust828183014

• zhaoshenzhai/mathwiki

  A statically-generated site to host my math course notes in university.

  Language:Markdown4337523

• Sage/jsurl

  URL-friendly JSON

  Language:JavaScript38481330

• logseq/publish-spa

  A github action and CLI to publish logseq graphs as a SPA app

  Language:Clojure25063314

• NobbZ/nixos-config

  Language:Nix240487

• DeterminateSystems/nuenv

  A Nushell environment for Nix

  Language:Nix21381016

• pinpox/nixos

  My NixOS Configurations

  Language:Nix1923298

• pinpox/lollypops

  Lollypop Operations - NixOS Deployment Tool

  Language:Nix12742218

• mitchmindtree/tidalcycles.nix

  A Nix flake for Tidal Cycles.

  Language:Nix6151513

• TaserudConsulting/jsonresume-nix

  Reproducible résumé using Nix ❄️ and jsonresume

  Language:Nix50555

• yaxu/p5dirt

  Thingie for echoing superdirt parameters to processing

  Language:Processing50612

• Ja1941/hilberts-axioms

  Language:Lean102

• nashc-dev/android_kernel_realme_mt6785

  Kernel source for Realme 8 (nashc).

  Language:C912

• spectronp/qutebrowser-buku

  Integrate Buku in Qutebrowser

  Language:Shell3111

• guillegran/guillermoTFM

  Higgs Bundles Twisted by a Vector Bundle

  Language:TeX20

• mmasdeu/hilbert

  Formalization of Hilbert's axioms for plane geometry in Lean

  Language:Lean2201

• observer/tincDifferent

  tinc different! - another way of setting up tinc VPN networks on NixOS..

  Language:Nix2100

• guillegran/TFGMates

  Language:TeX10

• jaalonso/Explorando-con-Lean

  Explorando formalizaciones con Lean

  Language:Lean110

• jaalonso/Formalizacion_de_las_matematicas_en_Lean

  Formalización de las matemáticas en Lean

  Language:Lean120

• mmasdeu/hilbertgame

  Learn Lean with Hilbert's geometry

  Language:Lean120