[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View CAIMEOX's full-sized avatar
💭
🎲
💭
🎲

Block or report CAIMEOX

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse
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
  • 🤔 Reading Type Theory and Formal Proof and Homotopy Type Theory
  • 📝 Regularly write notes and blogs (The Rabbit Hole)
  • 🔭 Working on Json Schema Lean Implementation, Moonbit Core Library and Command Lisp

logo

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

  1. moonbitlang/core moonbitlang/core Public

    MoonBit's Core library

    MoonBit 642 82

  2. Lean-zh/fp-lean-zh Lean-zh/fp-lean-zh Public

    Lean 函数式编程

    JavaScript 26 9

  3. VoxelGeometry VoxelGeometry Public

    Voxel geometry structure generator

    TypeScript 20 1

  4. CommandLisp CommandLisp Public

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

    OCaml 16

  5. moonbitlang/quickcheck moonbitlang/quickcheck Public

    Automatic testing of MoonBit programs

    17 1

  6. caimeox.github.io caimeox.github.io Public

    My Zettelkasten - The Rabbit Hole

    XSLT 8 1