Pinned Loading

1. ekitai ekitai Public

   Ekitai is a small programming language with refinement types that compiles to binary code using the LLVM ecosystem.

   Rust 9 1

2. eclufsc/ophidian eclufsc/ophidian Public

   Ophidian's Mirror Repository on github. https://gitlab.com/eclufsc/eda/ophidian

   C++ 42 13

3. tong-os/tongOS tong-os/tongOS Public

   A multi-task multi-core operational system written in Rust for the Risc-V processor family.

   Rust 4

4. tarberd.me tarberd.me Public

   My personal blog.

   HTML

5. cmake-project-template cmake-project-template Public

   modern cmake project with multi-repo project support

   CMake 3

6. TheDan64/inkwell TheDan64/inkwell Public

   It's a New Kind of Wrapper for Exposing LLVM (Safely)

   Rust 2.4k 234