An open API service indexing awesome lists of open source software.

Projects in Awesome Lists by dedbox

A curated list of projects in awesome lists by dedbox .

https://github.com/dedbox/racket-algebraic

Algebraic structures for untyped Racket

algebraic functional-programming racket

Last synced: 05 Jan 2026

https://github.com/dedbox/racket-neuron

Decentralized Software Organisms

Last synced: 06 Jan 2026

https://github.com/dedbox/racket-glsl

Embed GLSL shaders in your Racket programs

Last synced: 10 Feb 2026

https://github.com/dedbox/racket-glm

Last synced: 11 Apr 2025

https://github.com/dedbox/io-game-multiplayer

A basic Godot client and Python server for multiplayer game development.

Last synced: 06 Jan 2026

https://github.com/dedbox/racket-event

Event-lang: synchronizable event programming

Last synced: 07 Feb 2026

https://github.com/dedbox/racket-zmq

Comprehensive Racket FFI bindings for ZeroMQ

Last synced: 02 Feb 2026

https://github.com/dedbox/racket-texmath

Pseudo-(La)TeX mathematical notation for Racket Scribble docs

Last synced: 30 Jan 2026

https://github.com/dedbox/racket-viz

A real-time data visualization surface for Racket

Last synced: 05 Jan 2026

https://github.com/dedbox/racket-cmx

A calculus of mediated exchange

Last synced: 16 Feb 2026

https://github.com/dedbox/notes

Last synced: 05 Feb 2026

https://github.com/dedbox/space-sim-godot

A tile-based space flight sim.

Last synced: 25 Mar 2025

https://github.com/dedbox/axon-game-server

Axon services for multi-player game development

Last synced: 19 Mar 2026

https://github.com/dedbox/pong-godot

A variation of the official Godot pong tutorial that uses draw commands instead of sprites.

Last synced: 19 Mar 2026

https://github.com/dedbox/reason-bdcalc

A bidirectionally typed lambda calculus with "if" expressions

Last synced: 14 Feb 2026

https://github.com/dedbox/my-multi-component-ocaml-webapp

An example of combining multiple incr_dom components into one app

Last synced: 07 Sep 2025

https://github.com/dedbox/axon-technical-spec

Architectural documents for Axon

Last synced: 22 Feb 2026

https://github.com/dedbox/axon-racket

Dataflow network model

Last synced: 30 Jan 2026

https://github.com/dedbox/ditwit

An experiment in visualizing a toy distributed Twitter service

Last synced: 25 Mar 2025

https://github.com/dedbox/reason-hzcalc

A Hazelnut lambda calculus with numbers and addition

Last synced: 28 Jan 2026

https://github.com/dedbox/racket-neuron-shell

Neuron Shell

Last synced: 19 Mar 2026

https://github.com/dedbox/racket-playground

A 2-D multiplayer video game engine for Racket

Last synced: 13 Feb 2026

https://github.com/dedbox/ocaml-grist

A functional metaprogramming substrate

Last synced: 25 Mar 2025

https://github.com/dedbox/my-ocaml-webapp

incr_dom playground / scratch pad

Last synced: 10 Jul 2025

https://github.com/dedbox/racket-algebraic-app

Algebraic Racket #%app

Last synced: 06 Feb 2026

https://github.com/dedbox/cv

My CV

Last synced: 03 Feb 2026

https://github.com/dedbox/racket-net2-model

net2 formal model document

Last synced: 05 Jan 2026

https://github.com/dedbox/i3

My i3wm config

Last synced: 05 Jan 2026

https://github.com/dedbox/.emacs.d

Last synced: 06 Jan 2026

https://github.com/dedbox/racket-learn-opengl

An unfinished attempt to port the learnopengl tutorials to Racket

Last synced: 06 Jan 2026

https://github.com/dedbox/racket-diagrams

Draw technical diagrams

Last synced: 06 Jan 2026

https://github.com/dedbox/racket-values

Functional Multi-valued Computations

Last synced: 06 Jan 2026

https://github.com/dedbox/lambda_phi

A lambda calculus with explicit phase-shifting annotations

Last synced: 25 Mar 2025

https://github.com/dedbox/gallery

Eric's Photos

Last synced: 25 Mar 2025

https://github.com/dedbox/bonsai-app-template

A versatile project template for js_of_ocaml applications on Jane Street's bonsai framework

Last synced: 06 Jan 2026

https://github.com/dedbox/racketcon-2019

My RacketCon 2019 Slides

Last synced: 05 Jan 2026