Pinned Repositories
cryptol
Cryptol: The Language of Cryptography
saw-script
The SAW scripting language.
agda-knots
An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory
fjs-explorer
microtonal-utils
A javascript library for calculating with microtonal intervals and notes
tt-in-cagda
Simply typed lambda calculus in cubical agda
xen-calc
A multi-purpose calculator for microtonal(/xenharmonic) music
m-yac's Repositories
m-yac/tt-in-cagda
Simply typed lambda calculus in cubical agda
m-yac/microtonal-utils
A javascript library for calculating with microtonal intervals and notes
m-yac/agda-knots
An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory
m-yac/xen-calc
A multi-purpose calculator for microtonal(/xenharmonic) music
m-yac/fjs-explorer
m-yac/agda
Agda is a dependently typed programming language / interactive theorem prover.
m-yac/cubical
m-yac/DAMLSpades
The card game spades in DAML
m-yac/F-polys
m-yac/ghc
Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list (ghc-devs@haskell.org). First time contributors are encouraged to get started by just sending a Pull Request.
m-yac/haddock
Mirror of haddock repository. DO NOT SUBMIT PULL REQUESTS HERE. Use http://github.com/haskell/haddock instead!
m-yac/havarotjs
A Typescript package for getting syllabic data about Hebrew text with niqqud.
m-yac/hebrew-transliteration
A Node package for transliterating Hebrew
m-yac/m-yac.github.io
yacavone.net
m-yac/safe-classical
Classical reasoning in agda without postulates
m-yac/tanakh
m-yac/tinydeplang
An experiment with implementing a tiny dependently-typed language in Haskell.
m-yac/tr
Interactive translations of Jewish prayers
m-yac/vowel-space
m-yac/yomi
A daily blog of my thoughts as I study Nach Yomi.