Discover @MarisaKirisame Open Source projects

霧雨魔理沙 (@MarisaKirisame)

MarisaKirisame

Stars
291
Global Rank 89,257 (Top 4 %)
Followers 2,798
Following 184
Registered over 11 years ago
Most used languages

C++
39.3 %

Haskell
17.9 %

Python
7.1 %

TeX
7.1 %

Java
3.6 %

Emacs Lisp
3.6 %

Scala
3.6 %

Rust
3.6 %

OCaml
3.6 %

QMake 3.6 %

Coq 3.6 %

HTML
3.6 %
Location 🇯🇵 Japan
Country Total Rank 2,053
Country Ranking

QMake 4

Coq 11

TeX
30

Haskell
62

OCaml
114

C++
211

Scala
256

Emacs Lisp
480

Rust
888

Python
1,502

HTML
1,713

Java
1,992

first_order_logic_prover

resume

zombie

Zombie chan revive!

MemoryBalancer

algebraic_data_type

reflection

HappyTree

Happy Little Decision Tree

lambda_calculus

CompilingCombinator

Code for my blog

Coq_code

DefComBlog

Artificial_Intelligence_A_Modern_Approach

extensible-parser

MemoryBalancerAE

Artifact Eval for MemoryBalancer

TVirus

zombie_paper

uncompute-rust

Uncompute values to save memory

AWSL

A draWing Sampling Library

DefCom

MarisaKirisame.github.io

2048

unroll_gan

MarisaKirisame

RubikCube

CSP

constraint satisfication programming

PE

cpp_common

Where codes that don't belong to any place but is used across my project is placed.

Yasuo

Playing with compression

sudoku_solver

onnx-dtr

palindrome

LiterateGet

Literate Version of Get

Get

You get what you want

dot-spacemacs

Megatron