ireina7

Ireina's repositories

abyss-rs

Rust implementation of Abyss programming language

Language:RustMIT5 10

divide-and-conquer-leetcode

Divide and conquer all leetcode problems

Language:JavaMIT5 2 1

fgo

Functional GOlang

Language:GoMIT4 10

programming-effects

Programming effects

MIT4 20

blog

My personal blog written purely in Scala.

Language:ScalaMIT3 10

bytc

Purely function byte code generator.

Language:ScalaMIT3 10

summoner

Typeclass system and dependency injection for Golang

Language:GoApache-2.02 10

gzsl-seg

Generalized Zero-Shot Learning Segmentation

Language:PythonMIT1 10

hastags

HasTags is a small, fast XML/HTML/CSS construction library for Haskell that takes fragments in plain Haskell code.

Language:HaskellBSD-3-Clause1 10

anime-list

My personal anime list.

MIT010

blog-static

Repo to store blog static package

Language:JavaScriptMIT010

blogseq

Blog with Logseq

Language:CSSMIT000

CargoDocTranslate

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

Language:GDScript000

dashboard

dashboard for personal use

Language:TypeScriptMIT010

dotfiles

My personal dotfiles for various common configurations and settings.

Language:ShellMIT010

fp-in-scala3

Functional Programming in Scala book study in Scala3

Language:Scala010

ireina7

灰の魔女

000

ireina7.github.io

Personal blog.

Language:JavaScript000

leetcode.note

Leetcode solutions of various languages

Language:Rust010

lisp-calculator

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

Language:GoMIT010

mockgpt

Mocking with GPT!

Language:GoMIT010

os-lab

OS lab

Language:RustMIT000

parsec-rust

Parser combinators implemented in Rust

Language:RustMIT010

reff

Remote Effects, a RPC framework with remote functional effects.

Language:JavaApache-2.0010

scala3-playground

Playground of various new features in Scala3

Language:ScalaMIT000

scalene

An interactive app for music learning.

MIT000

sf.study

Study notes of Software Foundations

Language:CoqMIT010

void

From void comes whatever you want.

Language:GoMIT010

zero-shot-segmentation

Zero Shot Segmentation experiments

Language:PythonMIT010

zsl-seg

Zero-Shot Segmentation

Language:PythonMIT000