dedbox

Pinned Repositories

io-game-multiplayer
A basic Godot client and Python server for multiplayer game development.
Language:GDScript57
racket-algebraic
Algebraic structures for untyped Racket
Language:Racket73 4 916
racket-event
Event-lang: synchronizable event programming
Language:Racket4 4 130
racket-glm
Language:Racket6 3 330
racket-glsl
Embed GLSL shaders in your Racket programs
Language:Racket6 3 01
racket-graphics-engine
Language:Racket5 3 00
racket-neuron
Decentralized Software Organisms
Language:Racket16 7 212
racket-template
A Racket Meta-Program Generator
Language:Racket17 4 40
racket-texmath
Pseudo-(La)TeX mathematical notation for Racket Scribble docs
Language:Racket30
racket-voxel
Language:Racket60

dedbox's Repositories

dedbox/racket-algebraic
Algebraic structures for untyped Racket
Language:Racket73 4 916
dedbox/racket-neuron
Decentralized Software Organisms
Language:Racket16 7 212
dedbox/racket-glm
Language:Racket6 3 330
dedbox/racket-glsl
Embed GLSL shaders in your Racket programs
Language:Racket6 3 01
dedbox/grove-extended-abstract
Language:TeX1 3 0
dedbox/racket-js-voxel
Language:JavaScript1 3 0
dedbox/reason-bdcalc
A bidirectionally typed lambda calculus with "if" expressions
Language:Reason1 3 0
dedbox/TOAD-GAN
Eric's fork of "TOAD-GAN: Coherent Style Level Generation from a Single Example" by Maren Awiszus, Frederik Schubert and Bodo Rosenhahn.
Language:Jupyter Notebook1 3 0
dedbox/.emacs.d
Language:Emacs Lisp3 0
dedbox/bonsai
A library for building dynamic webapps, using Js_of_ocaml
dedbox/bonsai-app-template
A versatile project template for js_of_ocaml applications on Jane Street's bonsai framework
Language:Makefile
dedbox/dedbox.github.io
Language:HTML3 0
dedbox/gatsby-starter-foundation
A starter to launch your blazing fast personal website and a blog, Built with Gatsby and Netlify CMS. Made with ❤ by Stackrole
dedbox/hexgrid_animation
Language:Reason2 0
dedbox/i3
My i3wm config
3 0
dedbox/lambda_phi
A lambda calculus with explicit phase-shifting annotations
Language:OCaml3 0
dedbox/latex-macro-dump
Language:TeX2 0
dedbox/mixxx
Mixxx is Free DJ software that gives you everything you need to perform live mixes.
Language:C++2 0
dedbox/my-multi-component-ocaml-webapp
An example of combining multiple incr_dom components into one app
Language:OCaml3 0
dedbox/my-ocaml-webapp
incr_dom playground / scratch pad
Language:OCaml3 0
dedbox/ocaml-drawing-svg
Language:Reason2 0
dedbox/ocaml-grist
A functional metaprogramming substrate
Language:OCaml3 0
dedbox/ppx_deriving
Type-driven code generation for OCaml >=4.02
Language:OCaml2 0
dedbox/proof-writing-demo
Language:TeX
dedbox/racket-neuron-shell
Neuron Shell
Language:Racket1
dedbox/racket-values
Functional Multi-valued Computations
Language:Racket3 0
dedbox/reason-action-calculus
Language:Reason
dedbox/reason-hzcalc
A Hazelnut lambda calculus with numbers and addition
Language:Reason3 0
dedbox/tyxml
Build valid HTML and SVG documents
Language:OCaml1 0
dedbox/virtual_dom
OCaml bindings for the virtual-dom library
Language:OCaml1 0