Popular repositories Loading

1. Ring2B Ring2B Public

   Accelerated Ring VM

   Shell 1

2. ring ring Public

   Forked from ring-lang/ring

   Simple and flexible programming language for applications development

   C 1

3. hello-world hello-world Public

   Hello World C example for code-vector-artifact

   C 1

4. c2ocaml c2ocaml Public

   Forked from jjhenkel/c2ocaml

   c2ocaml - a source-to-source transformer to take C files into OCaml files compatible with lsee (a lightweight symbolic execution engine)

   CMake

5. code-vectors-artifact code-vectors-artifact Public

   Forked from jjhenkel/code-vectors-artifact

   Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"

   Python

6. BabylonHx BabylonHx Public

   Forked from vujadin/BabylonHx

   Port of Babylon.js 3D engine to Haxe.

   Haxe