ayhon's repositories

lapce-color-theme-adwaita

An attempt to create a Lapce theme that feels at home in the GNOME Desktop Environment

Language:PythonLicense:GPL-3.0Stargazers:2Issues:1Issues:1

AdventOfCode2022

My solutions for 2022's Advent Of Code. I'm using these problems to learn the Rust programming language. Unfortunately, this year exams also prevented me from finishing the problems.

Language:HTMLStargazers:1Issues:1Issues:0

bevy-minesweeper

A simple minsweeper game in bevy. I'm learning bevy with this!

Language:RustStargazers:1Issues:1Issues:0

craftinginterpreters

My notes and implementation of the code in the book https://craftinginterpreters.com/. But in Scala and Rust instead of Java and C

Language:ScalaStargazers:1Issues:1Issues:0

dotfiles

My dotfiles

Language:LuaLicense:CC0-1.0Stargazers:1Issues:1Issues:8

practica-pl

Implementación de un compilador de Ditto a WASM

AdventOfCode2021

My solutions to 2021's Advent Of Code. This year I used the problems to learn Haskell. Unfortunately, I didn't have time to finish all of the problems

Language:HaskellStargazers:0Issues:1Issues:0
Stargazers:0Issues:1Issues:0

Bento

🍱 The minimalist, elegant and hackable startpage.

Language:JavaScriptLicense:GPL-3.0Stargazers:0Issues:0Issues:0

University-Projects

Collection of projects and other relevant files from my years in university

Stargazers:0Issues:1Issues:2

bearblog-theme-ayu

An ayu theme for bearblog.dev

Language:CSSStargazers:0Issues:1Issues:0
Stargazers:0Issues:0Issues:0
Language:TypeScriptStargazers:0Issues:0Issues:0
Language:C++Stargazers:0Issues:1Issues:0
Language:JavaStargazers:0Issues:1Issues:0
Language:Jupyter NotebookStargazers:0Issues:0Issues:0
Language:MATLABStargazers:0Issues:0Issues:0
Language:ScalaStargazers:0Issues:0Issues:0
Language:Jupyter NotebookStargazers:0Issues:0Issues:0

DGs8-IA2-Practicas

Prácticas de la asignatura Inteligencia Artificial 2

Language:Jupyter NotebookStargazers:0Issues:1Issues:0
Language:CStargazers:0Issues:1Issues:0

nacional-adabyron-2024

Soluciones a los problemas de la final nacional del concurso de programación competitiva AdaByron 2024

Language:PythonStargazers:0Issues:0Issues:0

qmk_firmware

Open-source keyboard firmware for Atmel AVR and Arm USB families

License:GPL-2.0Stargazers:0Issues:0Issues:0
Language:LeanStargazers:0Issues:0Issues:0

textbook

The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:0Issues:0

TFGCoq

Arithmetic constraints resolver verified in Coq for the certification of EVM optimizations

Language:TeXStargazers:0Issues:1Issues:0

TheAlgorithms-Python

All Algorithms implemented in Python

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

zenoh

zenoh unifies data in motion, data in-use, data at rest and computations. It carefully blends traditional pub/sub with geo-distributed storages, queries and computations, while retaining a level of time and space efficiency that is well beyond any of the mainstream stacks.

Language:RustLicense:NOASSERTIONStargazers:0Issues:0Issues:0