dark-flames/top-dt-cpp

Stars
3
Rank 3,963,521 (Top 79 %)
Language
C++
Created 9 months ago
Updated 8 months ago

dark-flames/top-dt-cpp

dark-flames

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

A toy dependently typed language implementation in C++

apollo-typst

Typst blog template based on Zola, typst.ts, and apollo.

yukino-dev

A type-driven and high-performance ORM framework in Rust

Yukino

[WIP]An ORM framework for Rust

annotation-rs

Compile-time annotation parser for rust

ty-ops

Type level simply typed lambda calculus in rust

RISCV-CPU

RISCV-CPU written in Verilog

quote-data

A tokenization library for Rust

hackinit-read-share

hack.init() project read-share

dark-flames.github.io

Blog build with GatsbyJS