sevanescence / mcclient
A Minecraft client written in rust (currently only working on offline connections)
☆10Updated last year
Alternatives and similar repositories for mcclient:
Users that are interested in mcclient are comparing it to the libraries listed below
- Repository for homeworks.☆10Updated 3 years ago
- A C-like native programming language☆9Updated 2 years ago
- This is repo of 11-1 homeworks (dont look at this)☆6Updated 3 years ago
- A series of down-to-earth articles on implementing type inference☆153Updated 4 years ago
- A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧☆615Updated 3 years ago
- A complete specification on Zilch and N⋆☆10Updated 2 years ago
- Minimal implementations for dependent type checking and elaboration☆652Updated 2 months ago
- Simply uefi-fetch app written in rust☆17Updated this week
- The Vellvm (Verified LLVM) coq development.☆422Updated last week
- Counterexamples in Type Systems☆395Updated last year
- Language development libraries for Rust☆943Updated 3 months ago
- A DLL mod for Scrap Mechanic which enhances the functionality of the vanilla Paint Tool and allows you to pick any color you want!☆14Updated last week
- A prototype of the RigC programming language.☆14Updated 2 years ago
- A fast functional language based on two level type theory☆389Updated 2 years ago
- The Ott tool for writing definitions of programming languages and calculi☆367Updated 3 months ago
- The Agda standard library☆607Updated this week
- Haskell library for writing Discord bots☆277Updated last month
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆366Updated this week
- Staged compilation with dependent types☆170Updated 3 weeks ago
- Resource gathering + programming game☆860Updated this week
- A proof assistant for higher-dimensional type theory☆173Updated last week
- Any-angle Minecraft pathfinder with Forge☆12Updated last year
- Simple programming language written in Rust☆13Updated last year
- Notes from subjects taught on TCS, JU☆22Updated 2 weeks ago
- Spartan type theory☆262Updated 10 months ago
- A demo implementation of a simple dependently-typed language☆591Updated 4 months ago
- Demo for high-performance type theory elaboration☆541Updated last year
- ☆40Updated 8 months ago
- 😎TT☆225Updated last year
- Lecture notes for the Type Systems course given in Autumn 2023☆11Updated last year