haztecaso

haztecaso's Stars

• viandwi24/nuxt3-awesome-starter

  a Nuxt 3 template and boilerplate with a lot of useful features. Nuxt 3 + Tailwindcss + Nuxt Layer

  Language:Vue1.7k375

• TandoorRecipes/recipes

  Application for managing recipes, planning meals, building shopping lists and much much more!

  Language:HTML6k617

• Kludex/fastapi-prometheus-grafana

  FasAPI + Prometheus + Grafana! :tada:

  Language:Python19050

• peti/hydra-tutorial

  Sample configuration files for setting up your own Hydra continuous integration server.

  Language:Nix11816

• tsoding/snitch

  Language agnostic tool that collects TODOs in the source code and reports them as Issues

  Language:Go52141

• schematics/schematics

  Python Data Structures for Humans™.

  Language:Python2.6k287

• lyz-code/repository-orm

  Library to smooth the implementation of the repository pattern.

  Language:Python191

• lyz-code/best-of-digital-gardens

  Ranked list of awesome digital gardens / second brains

  Language:Shell40624

• P3rf/rofi-network-manager

  A manager for network connections using bash, rofi, nmcli,qrencode.

  Language:Shell41626

• serfer2/flask-hexagonal-architecture-api

  Simple example of Python Flask API following SOLID and Hexagonal Architecture principles

  Language:Python598

• jasagredo/ALCP

  Algoritmos en Maple para Álgebra Computacional UCM

  32

• noeliampgar/ALCP

  Set of problems regarding the subject computational algebra (UCM mathematics degree)

  Language:Python2

• numtide/devshell

  Per project developer environments

  Language:Nix1.3k92

• fractalide/fractalide

  Reusable Reproducible Composable Software

  Language:Racket88058

• serokell/deploy-rs

  A simple multi-profile Nix-flake deploy tool.

  Language:Rust1.5k103

• gytis-ivaskevicius/nixfiles

  My kick-ass NixOS systems configurations!!

  Language:Nix1487

• gytis-ivaskevicius/flake-utils-plus

  Use Nix flakes without any fluff.

  Language:Nix49954

• neovim/neovim

  Vim-fork focused on extensibility and usability

  Language:Vim Script86.8k5.9k

• kamadorueda/alejandra

  The Uncompromising Nix Code Formatter

  Language:Nix1k43

• AykutSarac/github-rater

  📊 Check your GitHub rating, view results and enhance your profile quality.

  Language:TypeScript79712

• haztecaso/bwmenu

  bitwarden-cli rofi wrapper written in python and with qutebrowser userscripts support

  Language:Python112

• utdemir/nix-tree

  Interactively browse dependency graphs of Nix derivations.

  Language:Haskell81816

• mhinz/neovim-remote

  :ok_hand: Support for --remote and friends.

  Language:Python1.8k82

• dangirsh/neurosys

  A neurotically minimal and reproducible computing environment.

  Language:Nix121

• nitrajka/tableauEditor

  Proof assistant for proving with analytic tableau in first-order logic. Written in Elm and tested. Bachelor thesis project.

  Language:JavaScript1

• tomaz1502/RunTimeFormalization

  A formalization of the run time complexity of Insertion Sort and Merge Sort.

  Language:Lean51

• marco10507/formalization-of-sorting-algorithms

  some sorting algorithms' formalisation

  Language:Isabelle5

• jaalonso/Lecturas_GLC

  Readings on computational logic, interactive theorem proving and functional programming.

  758

• Augustindou/natural2lean

  Master's Thesis - Augustin d'Oultremont - Advisor : François Glineur

  Language:Python1

• uds-psl/CoqTM

  Formalising Turing Machines In Coq (bachelor's thesis)

  Language:Coq122