Skip to content
View CAIMEOX's full-sized avatar
💭
🎲
💭
🎲
108 followers · 43 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruck
BetaSend feedback

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruck
BetaSend feedback

Highlights

Block or Report

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

  1. moonbitlang/core moonbitlang/core Public

    MoonBit's Core library

    Shell 372 46

  2. PureEval/PureEval PureEval/PureEval Public

    A powerful JavaScript functional programming toolset, including utility functions and abstract data structures.

    JavaScript 36 3

  3. VoxelGeometry VoxelGeometry Public

    Voxel geometry structure generator

    TypeScript 18 2

  4. CommandLisp CommandLisp Public

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

    OCaml 15

  5. json-schema-lean json-schema-lean Public

    Json Schema lean implementation

    Lean 6

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

    My Zettelkasten - The Rabbit Hole

    XSLT 4 1