ireina 最近的时间轴更新

abyss-rs Rust implementation of Abyss programming language

divide-and-conquer-leetcode Divide and conquer all leetcode problems

fgo Functional GOlang

blog My personal blog written purely in Scala.

bytc Purely function byte code generator.

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.

ladders Ladders of various study fields, New ideas are welcome!

abyss A programming language made in abyss

anime-list My personal anime list.

blog-static Repo to store blog static package

blogseq Blog with Logseq

cafebabe Tiny Scala library to generate class files for the JVM

CargoDocTranslate Rust语言Cargo文档动态更新翻译

codewars.note Codewars solutions of various languages

dashboard dashboard for personal use

dotfiles My personal dotfiles for various common configurations and settings.

emacs.d My emacs configuration.

fp-in-scala3 Functional Programming in Scala book study in Scala3

game-of-life-wasm-rs Game of life implemented in WASM with Rust.

ireina7 灰の魔女

ireina7.github.io Personal blog.

leetcode.note Leetcode solutions of various languages

lisp-calculator A simple calculator server with lisp syntax, just for testing a new approach to build go apps.

lua The Lua repo, as seen by the Lua team. Mirrored irregularly. Please DO NOT send pull requests. Send any issue to the Lua mailing list https://www.lua.org/lua-l.html

mockgpt Mocking with GPT!

musix Music library of my interests

org-to-html-themes Org-mode to HTML themes

os-lab OS lab

ireina Computation effect is all you need. V2EX 第 630714 号会员，加入于 2023-05-24 23:57:22 +08:00

写Haskell、Rust、Golang、C。