mchristianl

Berlin, Germany

Pinned Repositories

agda-mode
agda-mode on Atom
Language:TypeScript00
cewdfy
Computational Electromagnetism With Differential Forms Y
00
CImGui.jl
Julia wrapper for cimgui
Language:Julia00
IntelITT.jl
WIP: A wrapper for the Intel Instrumentation and Tracing Technology APIs to use with the Intel VTune Profiler / Amplifier in Julia
Language:Julia3 1 12
MemoryMutate.jl
Mutating Julia immutables with unsafe_store! via fieldoffset and pointer_from_objref
Language:Julia60
OpenVR.jl
OpenVR bindings for Julia
Language:Julia50
synthetic-reals
reals in agda as an archimedean field
Language:Agda50

mchristianl's Repositories

mchristianl/MemoryMutate.jl
Mutating Julia immutables with unsafe_store! via fieldoffset and pointer_from_objref
Language:Julia60
mchristianl/OpenVR.jl
OpenVR bindings for Julia
Language:Julia50
mchristianl/synthetic-reals
reals in agda as an archimedean field
Language:Agda50
mchristianl/IntelITT.jl
WIP: A wrapper for the Intel Instrumentation and Tracing Technology APIs to use with the Intel VTune Profiler / Amplifier in Julia
Language:Julia3 1 12
mchristianl/agda-mode
agda-mode on Atom
Language:TypeScript00
mchristianl/cewdfy
Computational Electromagnetism With Differential Forms Y
00
mchristianl/CImGui.jl
Julia wrapper for cimgui
Language:Julia00
mchristianl/cubical
An experimental library for Cubical Agda
Language:Agda00
mchristianl/martin-lof
papers of Per Martin Löf
Language:TeX
mchristianl/picogl.js
A minimal WebGL 2 rendering library
Language:JavaScript
mchristianl/symac
A symbolic spice engine
Language:C++
mchristianl/transcripts
some transcripts and translations I've made
Language:HTML