GitPlanet
Projects
Users
Categories
Languages
About
All Git Users
→ fritzo
4 open source projects by fritzo
[ Open user page on Github ]
1.
Livecoder.net
A simple browser environment for coding live javascript.
✭ 27
javascript
live-coding
2.
jenn3d
A Toy for Visualizing Coxeter Polytopes
✭ 39
c
HTML
C++
Makefile
CMake
visualization
geometry
hypersphere
3.
wavencoderjs
A fast cross-browser riff wave encoder for real-time audio synthesis in HTML5
✭ 22
javascript
web-worker
html5-audio
4.
pomagma
An inference engine for extensional untyped λ-calculus
✭ 15
C++
python
Jupyter Notebook
CMake
Makefile
shell
lambda-calculus
theorem-proving
inference-engine
1-4
of
4
user projects