Siddharth

icon indicating a website link pixel-druid.com icon indicating an email [email protected]

icon company University of Cambridge icon location Cambridge icon location mathematics ⋂ computation

Results 7 repositories owned by Siddharth

blaze

62
Stars
2
Forks
Watchers

Haskell re-implementation of STOKE, the stochastic superoptimizer

verified publisher icon bollu

bollu.github.io

359
Stars
24
Forks
Watchers

code + contents of my website, and programming life

verified publisher icon bollu

cellularAutomata

181
Stars
12
Forks
Watchers

a collection of cellular automata written in Haskell with Diagrams

verified publisher icon bollu

timi

65
Stars
2
Forks
Watchers

A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages

verified publisher icon bollu

coremlir

17
Stars
0
Forks
Watchers

Encoding of GHC Core inside MLIR

verified publisher icon bollu

discrete-differential-geometry

33
Stars
3
Forks
Watchers

An elegant implementation of discrete diffgeo in haskell

verified publisher icon bollu

lean-to

20
Stars
0
Forks
Watchers

Jupyter notebook for the Lean4 programming language

verified publisher icon bollu