Skip to content

@CAIMEOX CAIMEOX Follow

More

@CAIMEOX

CAIMEOX

Follow

View CAIMEOX's full-sized avatar

💭

🎲

CAIMEO CAIMEOX

💭

🎲

Follow

More is different.

167 followers · 70 following

PLCT | Rustica
Complex Manifold
21:08 (UTC +08:00)
caimeo.space
https://sr.ht/~caimeo
https://www.codewars.com/users/CAIMEO

Achievements

Achievement: Quickdraw Achievement: YOLO Achievement: Pair Extraordinaire Achievement: Pull Sharkx2 Achievement: Arctic Code Vault Contributor Achievement: Starstruck

Achievements

Achievement: Quickdraw Achievement: YOLO Achievement: Pair Extraordinaire Achievement: Pull Sharkx2 Achievement: Arctic Code Vault Contributor Achievement: Starstruck

Highlights

Developer Program Member
Pro

Organizations

More

CAIMEOX /README.md

CAIMEO

A student interested in math and computer science.

$$ \text{Life} = \int_\text{birth}^{\text{death}} \text{study} \ dt $$

🌱 Learning Programming Language Theory and Type Theory
🤔 Researching on Programming Languages Theory
📝 Regularly write notes and blogs (The Rabbit Hole)
🔭 Working on QuickCheck, Proof Assistant and Morpheus Compiler

Languages and tools

agda c go haskell idris javascript latex lean nodejs ocaml python rust typescript docker git linux nixos react vim vscode

Interests

Abstract Algebra
Arch Linux and NixOS
Category theory
Classic Music
Computer Science
Minecraft
Programming Language Theory
Quantum physics and Quantum computing
String Theory
Type Theory

Pinned Loading

moonbitlang/core moonbitlang/core Public

MoonBit's Core library

MoonBit 1.1k 148
moonbitlang/quickcheck moonbitlang/quickcheck Public

Automatic testing of MoonBit programs

MoonBit 28 3
CommandLisp CommandLisp Public

A dialect of Lisp that designed for Minecraft Bedrock Command System.

OCaml 18
Lean-zh/fp-lean-zh Lean-zh/fp-lean-zh Public

Lean 函数式编程

Lean 43 14
VoxelGeometry VoxelGeometry Public

Voxel geometry structure generator

TypeScript 22 1
caimeox.github.io caimeox.github.io Public

My Zettelkasten - The Rabbit Hole

XSLT 9 1