Skip to content
Seems fun
Seems fun
Block or Report

Block or report Brethland

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
(defvar my-languages
  (list (list "English" "Chinese" "German" "Janpanese")
        (list "Common Lisp" "Rust" "Coq" "Haskell")))
(defvar my-address
  ((lambda (x y z) (concatenate 'string "mailto:" y z x)) "" "breth" "land"))
(defvar my-interests
  (list "Type Theory" "Algebra" "Compiler" "Logic"))

My Toys

  1. Koten, a typora theme.
  2. hoshi, a 5-stage cpu in Rust.
  3. sOS, a WIP x86 OS.

You may find some parts of this repo interesting.


I am currently working on a private tracker site called SOPT.

I may be slow to reply, but any question is welcomed!


  1. Next generation private tracker framework.

    Rust 22 1

  2. Universal markup converter

    Haskell 23.7k 2.7k

223 contributions in the last year

Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Mon Wed Fri

Contribution activity

October 2021

Brethland has no activity yet for this period.

Seeing something unexpected? Take a look at the GitHub profile guide.