Skip to content
View jpyamamoto's full-sized avatar
💻
Writing code & proofs
💻
Writing code & proofs

Block or report jpyamamoto

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

Diseño de tesis para la Facultad de Ciencias en LaTeX

TeX 10 3 Updated Mar 24, 2024

La Escuela de Invierno está dirigida al público egresado o que cursa alguna de las carreras de Ciencias o Ingenierías.

Jupyter Notebook 22 14 Updated Jan 28, 2022

This repository hosts the lectures of the Plutus Pioneers Program. This program is a training course that the IOG Education Team provides to recruit and train software developers in Plutus, the nat…

Haskell 1,386 1,000 Updated Feb 22, 2025

Koka language compiler and interpreter

Haskell 3,486 178 Updated Apr 25, 2025

Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com

Haskell 1,274 38 Updated Jan 10, 2025

A collection of modern/faster/saner alternatives to common unix commands.

31,886 799 Updated Sep 10, 2024

WooCommerce Product Configurator - Allow customers to Customize / configure their products, with live preview

PHP 29 8 Updated Apr 23, 2025

A math-aware search engine.

C 346 50 Updated Nov 16, 2023

🦄 Sourcerer app makes a visual profile from your GitHub and git repositories.

Kotlin 6,748 279 Updated Sep 30, 2020

Takes your numbers and makes them *fancy*.

Ruby 472 84 Updated Jun 3, 2024

📝 A curated list of awesome programming subreddits.

945 48 Updated Aug 23, 2023
Showing results