8000 aghitza (Alex Ghitza) / Starred Β· GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View aghitza's full-sized avatar

Highlights

  • Pro

Block or report aghitza

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Code and Table for Congruent Numbers

Python 3 Updated Jul 8, 2021

🐲 My Arch Linux config [Zsh + Sway + Alacritty + Emacs, etc]

Emacs Lisp 1,127 134 Updated Apr 28, 2025

MATH7502 materials for the 2020 course: https://courses.smp.uq.edu.au/MATH7502/2020/

Jupyter Notebook 12 13 Updated Nov 2, 2020

Small scripts for use with rofi

Shell 529 81 Updated Sep 29, 2022

Simple clipboard manager to be integrated with rofi - Static binary available

Haskell 1,417 35 Updated Mar 22, 2025

Simple example on how you can incrementally export (backup) all your email from Protonmail's servers to a local Maildir archive.

24 1 Updated May 23, 2022

An org-mode compatible stylesheet

CSS 12 3 Updated Nov 9, 2018

A templated architectured for static HTML sites using Emacs and org-mode

Emacs Lisp 55 5 Updated Oct 23, 2023

A package for computing the conductor exponent of hyperelliptic curves of genus 2 defined over number fields.

CSS 2 1 Updated Nov 21, 2018

An Emacs framework for the stubborn martian hacker

Emacs Lisp 20,527 3,112 Updated Jun 2, 2025

mu4e configuration wizard

Shell 72 6 Updated Sep 15, 2022

My emacs configuration documented in literate programming style

Emacs Lisp 357 29 Updated Jun 3, 2025

πŸŽ† Arch Linux with i3 / nvim / tmux / urxvt / zsh / ...

Scheme 703 82 Updated May 13, 2025

i3wm configuration files

Shell 155 20 Updated May 28, 2025

Create beautiful diagrams just by typing notation in plain text.

TypeScript 7,759 353 Updated Jun 5, 2025

Lean 3's obsolete mathematical components library: please use mathlib4

Lean 1,667 294 Updated Jun 28, 2024

M4 algebraic geometry course in Lean

Lean 59 5 Updated Mar 4, 2020

Julia code for the book Numerical Linear Algebra

Jupyter Notebook 124 46 Updated Jan 23, 2023

A curated list of awesome TikZ documentations, libraries and resources

1,626 139 Updated Oct 5, 2024

Generic abstract algebra functionality in pure Julia (no C dependencies)

Julia 181 67 Updated Jun 5, 2025

🌈 A Curated List of Checklists βœ”οΈŽβœ”οΈŽ

JavaScript 2,859 140 Updated Apr 20, 2023

Top geek's chindogu - personal assistant over satellite/telephone/SMS/chatbot, plus web infrastructure servers (web & mail, ad-free DNS, TCP-over-DNS, web proxy, etc)

Go 259 23 Updated May 28, 2025

The easiest, and most secure way to access and protect all of your infrastructure.

Go 18,600 1,854 Updated Jun 5, 2025

a (small) kivy game

Python 11 4 Updated Jan 10, 2014

🐝 Test more, cry less!

Python 26 5 Updated Sep 13, 2017

Kivy-Calendar is a Calendar build in python and kivy language.

Python 16 11 Updated Oct 3, 2020

Grid-based levels, level-based games. Keyboard driven.

Python 12 3 Updated Mar 6, 2016

This is my entry for the kivy game design contest. Its a clone of the classic 90s game "AchtungDieKurve".

Python 8 2 Updated Mar 30, 2013

A simple tutorial intented to explain the basics of kivy, using the classical snake game as example.

Python 23 10 Updated Feb 5, 2015

Simple example of separate rotation of 3d objects with using Kivy

Python 18 8 Updated Jun 24, 2013
Next
0