moonbit / MPI-exerciseLinks
现代编程思想公开课课后练习
☆9Updated last year
Alternatives and similar repositories for MPI-exercise
Users that are interested in MPI-exercise are comparing it to the libraries listed below
Sorting:
- experimental packages for moonbitlang/core☆39Updated last week
- Write yourself a simply-typed lambda calculus using Rust in a week!☆13Updated last year
- Essential of Compilation☆34Updated 3 years ago
- 豫言☆27Updated last week
- SICP Online Judge, consisting of a server, a react web interface and a modified Ok client.☆12Updated 2 years ago
- High-precision Math library implemented by moonbit☆11Updated last week
- A NES emulator in MoonBit☆53Updated 3 weeks ago
- ☆60Updated last month
- Tiny theorem prover with syntax like Lean 4 in <1K LOC☆63Updated 2 weeks ago
- The formal development repository for Pr47☆21Updated 2 years ago
- a Lisp-like functional language with flexible suspension and resumption☆15Updated last week
- MoonBit Port of Implementations for Pierce's Types and Programming Languages☆64Updated last week
- A Rust-like language with immix GC and other cool stuffs☆76Updated 2 months ago
- 首师大 2018 范畴论讨论班笔记 | Notes for CATegory theory seminar held in Capital Normal University (首都师范大学), Beijing during 2018 autumn. Pictures, L…☆19Updated 6 years ago
- A well-documented minimal dependently-typed language for my friend Lyzh☆27Updated 5 months ago
- Deeplang is a new language for IoT device programming.☆82Updated 2 years ago
- A C0 compiler for homework | C0 编译器 | 北航软院编译原理大作业☆30Updated 5 years ago
- ☆18Updated 3 years ago
- Just for fun riscv64 emulator, which boots the Linux.☆41Updated 2 years ago
- 一个用 Rust 实现的 C 语言词法分析器和语法分析器☆30Updated 6 years ago
- Libraries and tools for topological and geometric modeling.☆18Updated 3 months ago
- A Register Based VM. 柠檬手写的看起来像栈机的寄存器机☆65Updated 4 years ago
- TEA web UI framework for MoonBit☆68Updated this week
- 十分钟魔法练习 in OCaml☆33Updated 3 years ago
- Write llvm in moonbit!☆19Updated this week
- ☆11Updated 3 months ago
- The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆16Updated 3 months ago
- How many interface{} are there in your project?☆16Updated 3 years ago
- ☆14Updated 8 months ago
- 🗳 A solution to pingcap/talent-plan, aka "6.824 Lab 2: Raft" and "6.824 Lab 3: Fault-tolerant Key/Value Service" from MIT.☆30Updated 3 years ago