@mchristianl
github

mchristianl

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    19
  • Global Rank 661,842 (Top 23 %)
  • Followers 4
  • Following 2
  • Registered over 7 years ago
  • Most used languages
    Julia
         75.0 %
    Agda     25.0 %
  • Location πŸ‡©πŸ‡ͺ Germany
  • Country Total Rank 26,153
  • Country Ranking
    Agda     7
    Julia
         95

Top repositories

1

MemoryMutate.jl

Mutating Julia immutables with unsafe_store! via fieldoffset and pointer_from_objref
Julia
6
star
2

OpenVR.jl

OpenVR bindings for Julia
Julia
5
star
3

synthetic-reals

reals in agda as an archimedean field
Agda
5
star
4

IntelITT.jl

WIP: A wrapper for the Intel Instrumentation and Tracing Technology APIs to use with the Intel VTune Profiler / Amplifier in Julia
Julia
3
star