Daniรซl Louwrink (@ocecaco)
github

ocecaco

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    17
  • Global Rank 708,350 (Top 25 %)
  • Followers 4
  • Registered over 10 years ago
  • Most used languages
    Rust
         37.5 %
    Haskell
         25.0 %
    Coq     25.0 %
    JavaScript
         12.5 %
  • Location ๐Ÿ‡ณ๐Ÿ‡ฑ Netherlands
  • Country Total Rank 9,937
  • Country Ranking
    Coq     8
    Haskell
         114
    Rust
         403
    JavaScript
         7,822

Top repositories

1

huet-unify

Huet's pre-unification algorithm for the simply-typed lambda calculus, implemented in Haskell
Haskell
4
star
2

mcworld

Minecraft Bedrock world reading library in Rust
Rust
4
star
3

stacked-borrows

Coq
2
star
4

hematite_nbt

Fork of hematite_nbt with little-endian NBT format
Rust
1
star
5

components-rs

Library for interacting with Windows COM (Component Object Model)
Rust
1
star
6

mcbmapper

Extract biome information from a running Minecraft process using Frida
JavaScript
1
star
7

haskell-evdev

Low-level Haskell bindings to libevdev
Haskell
1
star
8

iris-logrel-sessions

Coq formalization of a logical relations proof of type safety for a type system with session types, unique/shareable references, using the Iris concurrent separation logic
Coq
1
star