Popular repositories Loading

1. junyucao1024.github.io junyucao1024.github.io Public

   Homepage

2. nanoda_lib nanoda_lib Public

   Forked from ammkrn/nanoda_lib

   Library implementing type inference/checking functionality based on the Lean theorem prover

   Rust

3. lean4export lean4export Public

   Forked from ammkrn/lean4export

   Plain-text declaration export for Lean 4

   Lean

4. llvm-zig llvm-zig Public

   Forked from kassane/llvm-zig

   LLVM bindings written in Zig

   Zig

5. zig zig Public

   Forked from ziglang/zig

   General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

   Zig

6. inkwell inkwell Public

   Forked from TheDan64/inkwell

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

   Rust