KevinDCarlson

Research software engineer at Topos. Previously known as Kevin Arlin.

Topos InstituteBerkeley

Pinned Repositories

Catlab.jl
A framework for applied category theory in the Julia language
Language:Julia622 20 37058
GR.jl
Plotting for Julia based on GR, a framework for visualisation applications
Language:Julia361 12 43277
asymphost
asymptote to hosted file for kevin <3
Language:JavaScript00
groupTheory
Asymptote diagrams for GT
Language:Asymptote00
julia
The Julia Programming Language
Language:Julia0 0 00
plato
Some platonic solids for Asymptote
Language:Asymptote20
plfa.github.io
An introduction to programming language theory in Agda
Language:Agda00
rustPractice
Language:Rust0 1 00
SProcess.jl
S-process implemented in Julia
Language:Julia00
plfa.github.io
An introduction to programming language theory in Agda
Language:Agda1.4k 23 257319

KevinDCarlson's Repositories

KevinDCarlson/plato
Some platonic solids for Asymptote
Language:Asymptote20
KevinDCarlson/asymphost
asymptote to hosted file for kevin <3
Language:JavaScript00
KevinDCarlson/groupTheory
Asymptote diagrams for GT
Language:Asymptote00
KevinDCarlson/julia
The Julia Programming Language
Language:Julia0 0 00
KevinDCarlson/plfa.github.io
An introduction to programming language theory in Agda
Language:Agda00
KevinDCarlson/rustPractice
Language:Rust0 1 00
KevinDCarlson/SProcess.jl
S-process implemented in Julia
Language:Julia00