Julek

Head of Formal Verification @NethermindEth.

@NethermindEth London, UK

Pinned Repositories

gestalt
Language:Haskell2 2 01
klyslee
Automated music composition
Language:Haskell9 3 01
MSQueue
Lock-Free Michael-Scott Queue
Language:Haskell2 2 00
TreeCounter
A wait-free tree counter. Creates a binary tree of counters, with each leaf associated with a thread. Leaves can be split, creating a new leaf for the current thread and another that can be used by another thread. Each thread will act on different leaves, meaning the actions are wait-free. A read is performed on the counter by recursively traversing it and summing the value of the counters in the nodes and leaves of the tree.
Language:Haskell3 2 00
Treiber-Stack
Treiber Stack implemented in Haskell
Language:Haskell2 2 00

Julek's Repositories

Julek/klyslee
Automated music composition
Language:Haskell9 3 01
Julek/TreeCounter
A wait-free tree counter. Creates a binary tree of counters, with each leaf associated with a thread. Leaves can be split, creating a new leaf for the current thread and another that can be used by another thread. Each thread will act on different leaves, meaning the actions are wait-free. A read is performed on the counter by recursively traversing it and summing the value of the counters in the nodes and leaves of the tree.
Language:Haskell3 2 00
Julek/gestalt
Language:Haskell2 2 01
Julek/MSQueue
Lock-Free Michael-Scott Queue
Language:Haskell2 2 00
Julek/Treiber-Stack
Treiber Stack implemented in Haskell
Language:Haskell2 2 00
Julek/Allegro-Monad
Allegro Monad
Language:Haskell0 2 00
Julek/balancer-v2-monorepo
Balancer V2 Monorepo
Language:TypeScript0 0 00
Julek/bucharest-lean-ac
Content for Bucharest Autumn School
Language:Lean0 1 01
Julek/cairo-lang
Language:Python0 0 00
Julek/CArrs
Small library for using C arrays in haskell.
Language:C0 2 00
Julek/Classical-Shor-s
Classical Shor's
Language:Haskell0 2 00
Julek/cokmett
Because Kmett is not expressive enough. You need CoKmett!
2 0
Julek/dmenu_run--
configurable dmenu_run
Language:Haskell2 0
Julek/dotfiles-2.0
XMonad™️. Widgets go brr.
Language:Shell0 0
Julek/GLUT
Haskell bindings to GLUT
Language:Haskell2 0
Julek/haskell-mode
Emacs mode for Haskell
Language:Emacs Lisp2 0
Julek/HMines
Haskell Minesweeper
Language:Haskell2 0
Julek/impek
awesome
Language:Java2 0
Julek/lean-sqrt-2-irrational
A proof that the square root of 2 is irrational in Lean 3
Language:Lean1 0
Julek/LSA
PhD Late stage assessment
Language:TeX2 01
Julek/Nature--code4good-
Nature (code4good)
Language:Java4 0
Julek/SafeHash
thread safe hashtable
Language:Haskell
Julek/SpinCounter
A simple lock-free spin counter written in haskell
Language:Haskell2 0
Julek/yi
The Haskell-Scriptable Editor
Language:Haskell2 0

Julek

Pinned Repositories

gestalt

klyslee

MSQueue

TreeCounter

Treiber-Stack

Julek's Repositories

Julek/klyslee

Julek/TreeCounter

Julek/gestalt

Julek/MSQueue

Julek/Treiber-Stack

Julek/Allegro-Monad

Julek/balancer-v2-monorepo

Julek/bucharest-lean-ac

Julek/cairo-lang

Julek/CArrs

Julek/Classical-Shor-s

Julek/cokmett

Julek/dmenu_run--

Julek/dotfiles-2.0

Julek/GLUT

Julek/haskell-mode

Julek/HMines

Julek/impek

Julek/lean-sqrt-2-irrational

Julek/LSA

Julek/Nature--code4good-

Julek/SafeHash

Julek/SpinCounter

Julek/yi