Ecosyste.ms: Awesome

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

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by rdck

A curated list of projects in awesome lists by rdck .

https://github.com/rdck/signal_collider

signal processing automata

Last synced: 07 Nov 2024

https://github.com/rdck/compiler

recurse center compiler experiments

Last synced: 29 Dec 2024

https://github.com/rdck/ctfp

Category Theory For Programmers (In OCaml)

Last synced: 29 Dec 2024

https://github.com/rdck/plt

formalizing bits of programming language theory

Last synced: 29 Dec 2024

https://github.com/rdck/rdck.github.io

personal site

Last synced: 29 Dec 2024

https://github.com/rdck/platform

shared platform layer

Last synced: 29 Dec 2024

https://github.com/rdck/ocaml-module-introduction

source code for "Introduction to the OCaml Module System"

ocaml

Last synced: 21 Jan 2025