Pinned Loading

1. Mobil Mobil Public

   Lambda-Mobil pedagogical lambda calculus modeling code mobility with a coeffectful type system

   OCaml 2

2. Coeffect-Sandbox Coeffect-Sandbox Public

   A repository of sample languages with coeffect type systems

   OCaml 1

3. Titanium Titanium Public

   Titanium: Imperative programming language and bytecode interpreter

   C

4. FNBBDevs/nolang FNBBDevs/nolang Public

   This shit ain't nothin to me man

   Python 3

5. Simplex Simplex Public

   The Simplex Game Engine

   C++ 2

6. OpenGL-Sandbox OpenGL-Sandbox Public

   Sandbox for OpenGL

   C++