🎯
Focusing
Programming Language / Dependent Type Theory / Full Stack Developer
-
Kyoto University
- Kyoto, Japan
-
18:52
(UTC +09:00) - blog.dark-flames.com
- @Darkf1ames
- https://t.me/Dark_flames
Highlights
- Pro
-
-
apollo-typst Public template
Typst blog template based on Zola, typst.ts, and apollo.
-
-
-
-
dark-flames.github.io Public
Blog build with GatsbyJS
-
-
ty-ops Public
Type level simply typed lambda calculus in rust
-
-
yukino-dev Public
A type-driven and high-performance ORM framework in Rust
-
-
annotation-rs Public
Compile-time annotation parser for rust
-
HaskellPractice Public
Playground for haskell
Haskell BSD 3-Clause "New" or "Revised" License UpdatedDec 31, 2020 -
-
-
gatsby-starter-casper Public
Forked from haysclark/gatsby-starter-casperThe Casper theme v1.4 ported to GatsbyJS
JavaScript MIT License UpdatedJun 6, 2020 -
markdown-it-v-katex Public
Forked from lin-toto/markdown-it-v-katexAdd Math to your Markdown with a KaTeX plugin for Markdown-it
JavaScript Other UpdatedNov 5, 2019 -
-
luogu-blog-frontend Public
Forked from luogu-dev/luogu-blog-frontendFrontend Theme Packs for Luogu Blog.
-
markdown-palettes Public
Forked from luogu-dev/markdown-palettesMarkdown*Palettes: Markdown editor for the modern web.