Pinned Repositories
bernstein.github.io
bnfc
BNF Converter
breakout
cosmoscout-vr
A virtual universe which lets you explore, analyze and present huge planetary datasets and large simulation data in real-time.
dotfiles
My dotfiles
gfx
A high-performance, bindless graphics API for Rust.
glm
OpenGL Mathematics (GLM)
ircfs
Ircfs is an irc client with a file system interface.
pixelparty
tool to test glsl fragment shaders
pixelparty-shader
pixelparty glsl shader collection
bernstein's Repositories
bernstein/breakout
bernstein/pixelparty-shader
pixelparty glsl shader collection
bernstein/dotfiles
My dotfiles
bernstein/ircfs
Ircfs is an irc client with a file system interface.
bernstein/pixelparty
tool to test glsl fragment shaders
bernstein/bernstein.github.io
bernstein/bnfc
BNF Converter
bernstein/cosmoscout-vr
A virtual universe which lets you explore, analyze and present huge planetary datasets and large simulation data in real-time.
bernstein/gfx
A high-performance, bindless graphics API for Rust.
bernstein/glm
OpenGL Mathematics (GLM)
bernstein/Idris-dev
A Dependently Typed Functional Programming Language
bernstein/lngen
Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott
bernstein/metalib
The Penn Locally Nameless Metatheory Library
bernstein/ott
Ott is a tool for writing definitions of programming languages and calculi
bernstein/pbrt-v2
bernstein/pi-forall
A demo implementation of a simple dependently-typed language
bernstein/stork
stock tracking cli in rust