matt-kukla

Pinned Repositories

arxpdf
Download arXiv preprints as PDFs.
Language:Shell2 1 00
bnp
Four-valued Belnap logic.
Language:OCaml2 1 00
cvars
Generate sequences of correlated Bernoulli random variables in FORTRAN.
Language:Fortran0 1 00
ltl
Finite-trace linear temporal logic.
Language:OCaml1 1 00
matt-kukla.github.io
Personal site, https://mkukla.net
Language:HTML1 0 00
mkpov
Collection of macros, textures, other addons for the Persistence of Vision Raytracer (POV-Ray).
Language:POV-Ray SDL1 1 00
pyantenna
Antenna theory tools.
Language:Python1 1 00
tofn
Typed ordered fuzzy numbers in OCaml.
Language:OCaml1 1 00
opam-repository
Main public package repository for opam, the source package manager of OCaml.
516 33 1.3k1.1k
rtraylor.github.io
website
Language:HTML0 1 00

matt-kukla's Repositories

matt-kukla/arxpdf
Download arXiv preprints as PDFs.
Language:Shell2 1 00
matt-kukla/bnp
Four-valued Belnap logic.
Language:OCaml2 1 00
matt-kukla/ltl
Finite-trace linear temporal logic.
Language:OCaml1 1 00
matt-kukla/matt-kukla.github.io
Personal site, https://mkukla.net
Language:HTML1 0 00
matt-kukla/mkpov
Collection of macros, textures, other addons for the Persistence of Vision Raytracer (POV-Ray).
Language:POV-Ray SDL1 1 00
matt-kukla/pyantenna
Antenna theory tools.
Language:Python1 1 00
matt-kukla/tofn
Typed ordered fuzzy numbers in OCaml.
Language:OCaml1 1 00
matt-kukla/cvars
Generate sequences of correlated Bernoulli random variables in FORTRAN.
Language:Fortran0 1 00