Pinned Repositories
digitalcommons
provisional name
DIYAssistant
fungame
fungame
gl-bbb-setup
Greenlight and BigBlueButton Setup
haskell-learner
House-of-Ingi
low-standard-guix
Low Standard Guix packages; those that would not be accepted without refinements
MathAssistant
musicat
Music and Category Theory
workers-cafe
yugawara's Repositories
yugawara/musicat
Music and Category Theory
yugawara/digitalcommons
provisional name
yugawara/fungame
fungame
yugawara/gl-bbb-setup
Greenlight and BigBlueButton Setup
yugawara/haskell-learner
yugawara/low-standard-guix
Low Standard Guix packages; those that would not be accepted without refinements
yugawara/workers-cafe
yugawara/wsde
Workers Self-Directed Enterprise turn-based simulator
yugawara/Astro-Pinball
JavaScript/HTML Canvas version of classic pinball game
yugawara/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
yugawara/edu
yugawara/git
Git Source Code Mirror - This is a publish-only repository and all pull requests are ignored. Please follow Documentation/SubmittingPatches procedure for any of your improvements.
yugawara/guix-packages
Guix on WSL2, packages and notes
yugawara/haskell
yugawara/haskell2
yugawara/homepage
yugawara/hs
Haskell
yugawara/interactive-math
yugawara/Java-Database-Cheatsheets
Some cheatsheets for an undergrad course on databases using Java (JDBC, JPA, JAXB)
yugawara/language
yugawara/public-examples
yugawara/pythontest
yugawara/repeat
shows keystrokes in vb.net
yugawara/schemer
yugawara/shinano-dec16-2023
yugawara/tech-coops
A list of tech coops and resources concerning tech coops and worker owned cooperatives in general.
yugawara/tnggames
yugawara/tpl
Yasu's notes on Types and Programming Languages
yugawara/vb-java
experimental converter from vb.net to java
yugawara/xeyes