Pinned Repositories
abyss-rs
Rust implementation of Abyss programming language
blog
My personal blog written purely in Scala.
bytc
Purely function byte code generator.
divide-and-conquer-leetcode
Divide and conquer all leetcode problems
fgo
Functional GOlang
fp-resources
Functional programming great resources
gzsl-seg
Generalized Zero-Shot Learning Segmentation
hastags
HasTags is a small, fast XML/HTML/CSS construction library for Haskell that takes fragments in plain Haskell code.
programming-effects
Programming effects
summoner
Typeclass system and dependency injection for Golang
ireina7's Repositories
ireina7/divide-and-conquer-leetcode
Divide and conquer all leetcode problems
ireina7/fgo
Functional GOlang
ireina7/programming-effects
Programming effects
ireina7/blog
My personal blog written purely in Scala.
ireina7/bytc
Purely function byte code generator.
ireina7/summoner
Typeclass system and dependency injection for Golang
ireina7/gzsl-seg
Generalized Zero-Shot Learning Segmentation
ireina7/hastags
HasTags is a small, fast XML/HTML/CSS construction library for Haskell that takes fragments in plain Haskell code.
ireina7/reading-liner
Reading and convert offset and line-column location
ireina7/stream-locate-converter
Reader offset and line-column location converter
ireina7/base
base pages
ireina7/blog-static
Repo to store blog static package
ireina7/blogseq
Blog with Logseq
ireina7/CargoDocTranslate
Rust语言Cargo文档动态更新翻译
ireina7/dance
Make your cursors dance with Helix-like modal editing in VS Code.
ireina7/dashboard
dashboard for personal use
ireina7/dotconfig
ireina7/dotfiles
My personal dotfiles for various common configurations and settings.
ireina7/flame
ireina7/ireina7
灰の魔女
ireina7/ireina7.github.io
Personal blog.
ireina7/leetcode.note
Leetcode solutions of various languages
ireina7/lisp-calculator
A simple calculator server with lisp syntax, just for testing a new approach to build go apps.
ireina7/mockgpt
Mocking with GPT!
ireina7/os-lab
OS lab
ireina7/parsec-rust
Parser combinators implemented in Rust
ireina7/reff
Remote Effects, a RPC framework with remote functional effects.
ireina7/summon
Summon definitions of language
ireina7/void
From void comes whatever you want.
ireina7/zsl-seg
Zero-Shot Segmentation