kaz-yos/misc
Miscellaneous documents
A collection of LaTeX related stuff that I think is worth sharing
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Miscellaneous documents
test
Shiny web app for live demonstration of probability distributions
Egison is a purely functional programming language that realizes non-linear pattern-matching against unfree data types. We can directly pattern-match against a wide range of data types such as lists, multisets, sets, trees and graphs with Egison.