CAIMEOX

More is different.

IDEAComplex Manifold

Pinned Repositories

awesome-minecraft-bedrock
A curated list of awesome Minecraft Bedrock plugin, tool and software.
44 10 02
caimeox.github.io
My Zettelkasten - The Rabbit Hole
Language:XSLT8 1 01
CommandLisp
A dialect of Lisp that designed for Minecraft Bedrock Command System.
Language:OCaml16 2 00
FastBuilder
Minecraft Bedrock Geometry Generator
Language:TypeScript95 12 615
meowslib
Websocket lib for Minecraft bedrock
Language:JavaScript23 3 19
Phoenix
Minecraft bedrock World Editor.
Language:Go13 3 05
VoxelGeometry
Voxel geometry structure generator
Language:TypeScript20 3 01
fp-lean-zh
Lean 函数式编程
Language:JavaScript26 1 149
core
MoonBit's Core library
Language:Shell583 14 17570
quickcheck
Automatic testing of MoonBit programs
14 1 00

CAIMEOX's Repositories

CAIMEOX/FastBuilder
Minecraft Bedrock Geometry Generator
Language:TypeScript95 12 615
CAIMEOX/awesome-minecraft-bedrock
A curated list of awesome Minecraft Bedrock plugin, tool and software.
44 10 02
CAIMEOX/meowslib
Websocket lib for Minecraft bedrock
Language:JavaScript23 3 19
CAIMEOX/VoxelGeometry
Voxel geometry structure generator
Language:TypeScript20 3 01
CAIMEOX/CommandLisp
A dialect of Lisp that designed for Minecraft Bedrock Command System.
Language:OCaml16 2 00
CAIMEOX/Phoenix
Minecraft bedrock World Editor.
Language:Go13 3 05
CAIMEOX/caimeox.github.io
My Zettelkasten - The Rabbit Hole
Language:XSLT8 1 01
CAIMEOX/json-schema-lean
Json Schema lean implementation
Language:Lean6 2 10
CAIMEOX/feat-moon
Functional Enumeration of Algebraic Types in MoonBit
51
CAIMEOX/pure_bedrock
PureScript binding for Minecraft Bedrock Script API
Language:PureScript5 1 00
CAIMEOX/BedrockFP
Functional API wrapper for Minecraft bedrock script api (But Idris)
Language:Idris4 1 00
CAIMEOX/CAIMEOX
Read about me
Language:JavaScript4 1 01
CAIMEOX/Notes
CAIMEO's mathematics, physics, and computer science notes
Language:Agda4 2 0
CAIMEOX/stc32
Some stc32 files
Language:C4 1 0
CAIMEOX/TedScraper
Ted talks Scraper
Language:Python4 1 00
CAIMEOX/Lambda
notes and codes on PL
Language:ReScript3 1 00
CAIMEOX/rescript-bedrock
Minecraft bedrock ScriptAPI rescript interface
Language:ReScript3 2 0
CAIMEOX/cratere
Programming with holes
2
CAIMEOX/identicon
Identicon generator
Language:JavaScript2 1 0
CAIMEOX/WordSearch
A simple word search application that can find the source of a CET word
Language:JavaScript2 1 0
CAIMEOX/meo_nix
My NixOS dotfiles
Language:Nix1 1 0
CAIMEOX/minecraft-purescript-starter
Minecraft Script API purescript starter
Language:JavaScript1 1 0
CAIMEOX/zhihu_spider
A web spider catching zhihu answer and saving as PDF or Markdown file.
Language:Python1 2 0
CAIMEOX/acv
Minecraft bedrock animation controllers visualizer
Language:TypeScript1 0
CAIMEOX/fp-lean-zh
Lean 函数式编程
Language:JavaScript0 0
CAIMEOX/jlox-ts
JLox lang interpreter implement (TypeScript)
Language:TypeScript1 0
CAIMEOX/moonbit-core
MoonBit's standard library
Language:Shell0 01
CAIMEOX/moonbit-nix
Nix package of moonbit
Language:JavaScript1 0
CAIMEOX/TinyQuantum
A tiny quantum computer simulator (written in FP style)
Language:Python1 0
CAIMEOX/why3
Mirror of Why3 in gitlab
Language:OCaml1 0