gilbo

Pinned Repositories

atl
A Tensor Language
Language:Python55 9 07
baselang
A collection of demonstration languages in Lua/Terra suitable for learning or for forking when creating a new language
Language:Perl10 2 017
cork
3D Boolean / CSG Library
Language:C400 45 46172
ebb
DSL for physical simulation
Language:Terra86 32 5911
gong
research project
Language:Cuda4 4 51
lillicon
Research Prototype SVG Editor for Transient Widget idea
Language:C16 2 02
mnist-active-experiments
Collection of Experiments to try to get Active Learning to work for the MNIST dataset
Language:C++1 2 00
plop
A Small Language for Data Layout Interoperability and Optimization
Language:Lua2 3 00
rawgui
Experiments in Building a GUI system from scratch
Language:Perl3 2 00
toptop
code for "Putting Holes in Holey Geometry: Topology Change for Arbitrary Surfaces"
Language:C15 4 08

gilbo's Repositories

gilbo/cork
3D Boolean / CSG Library
Language:C400 45 46172
gilbo/ebb
DSL for physical simulation
Language:Terra86 32 5911
gilbo/atl
A Tensor Language
Language:Python55 9 07
gilbo/lillicon
Research Prototype SVG Editor for Transient Widget idea
Language:C16 2 02
gilbo/toptop
code for "Putting Holes in Holey Geometry: Topology Change for Arbitrary Surfaces"
Language:C15 4 08
gilbo/baselang
A collection of demonstration languages in Lua/Terra suitable for learning or for forking when creating a new language
Language:Perl10 2 017
gilbo/gong
research project
Language:Cuda4 4 51
gilbo/rawgui
Experiments in Building a GUI system from scratch
Language:Perl3 2 00
gilbo/plop
A Small Language for Data Layout Interoperability and Optimization
Language:Lua2 3 00
gilbo/mnist-active-experiments
Collection of Experiments to try to get Active Learning to work for the MNIST dataset
Language:C++1 2 00
gilbo/terra
Terra is a low-level system programming language that is embedded in and meta-programmed by the Lua programming language.
Language:C++1 2 0
gilbo/CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
Language:Python1 0
gilbo/HAI_Rel
Experiments in Hardware Semantics
Language:Coq2 0
gilbo/hott_reading_group
shared repo for a reading group on homotopy type theory
Language:Coq2 0
gilbo/mlkweek
website
Language:HTML2 0
gilbo/tinytocs-site
Tiny Transactions on Computer Systems (TinyToCS) Volume 1 Site
2 0
gilbo/uistvideo
Website
Language:CSS3 0
gilbo/videoscripts
Scripts for processing conference talk videos
Language:Python2 0