Tankle Adventure
☆16Nov 12, 2024Updated last year
Alternatives and similar repositories for MoonBit-Code-JAM-2024
Users that are interested in MoonBit-Code-JAM-2024 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An experimental game engine in MoonBit.☆44Sep 7, 2026Updated last month
- Elaboration with inductive types☆16Jun 1, 2023Updated 3 years ago
- HCC Sample Applications☆13Jan 3, 2017Updated 9 years ago
- ☆11Nov 23, 2024Updated last year
- Neon lights in the night tonight and stars that shine in the open sky☆47Dec 17, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A moonbit bootstrapping compiler.☆20Jul 1, 2025Updated last year
- A collection of PLT researching☆28Feb 21, 2025Updated last year
- Lightning-fast file search for macOS, inspired by Everything on Windows☆96Jun 16, 2026Updated 4 months ago
- The codebase for "Learning from Easy to Complex: Adaptive Multi-curricula Learning for Neural Dialogue Generation" (Cai et al., AAAI 2020…☆20Jun 18, 2024Updated 2 years ago
- Go SDK for OpenFaaS☆11Feb 27, 2020Updated 6 years ago
- ☆26Nov 12, 2024Updated last year
- Write games use jok(zig) through MoonBit(wasm).☆16Mar 24, 2025Updated last year
- ☆11Oct 16, 2026Updated 2 weeks ago
- Compute applications.☆25Dec 12, 2019Updated 6 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- WASI Preview 1 implementation for moonbit☆14Updated this week
- A repository for code used in the paper "On the precision loss in approximate homomorphic encryption"☆11Jan 16, 2025Updated last year
- rust binding for lean4☆11Jul 1, 2023Updated 3 years ago
- Web Server based on Boost asio☆23Dec 28, 2019Updated 6 years ago
- Command Line Argument Parser for MoonBit☆15Nov 3, 2025Updated last year
- auto-completion tools for java☆12Mar 5, 2015Updated 11 years ago
- An experimental markup language that respects document calculus.☆16Oct 20, 2026Updated 2 weeks ago
- Crypto-Convolutional Neural Network library written on top of SEAL 2.3.1☆15Oct 20, 2019Updated 7 years ago
- persistent kernel sample implementation of iterative stencil solver and conjugate gradient solver☆14May 24, 2023Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- C Intermediate Language Implemented with MoonBit☆19Jan 12, 2026Updated 9 months ago
- A Simple Lisp Interpreter☆10Feb 21, 2022Updated 4 years ago
- Theorems that rule this multiverse☆11Oct 6, 2018Updated 8 years ago
- ☆11Updated this week
- An AI agent operating your phone to be your assitant.☆16Oct 17, 2026Updated 2 weeks ago
- A native MoonBit port of the Loro CRDT engine☆22Jan 28, 2026Updated 9 months ago
- An OpenFaaS Provider example using memory for state.☆24Aug 16, 2022Updated 4 years ago
- This is the code repository for our work on resourcing-on-demand GPU provisioning for serverless deep learning serving.☆17Apr 17, 2026Updated 6 months ago
- Java多线程并发下载器, 支持断点下载(手写不限速的迷你版迅雷)☆15Nov 16, 2019Updated 6 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A general Web Assembly toolkit written in MoonBit☆25Updated this week
- Experimental Spin SDK for the MoonBit programming language.☆25Oct 19, 2026Updated 2 weeks ago
- A diagram language written in MoonBit.☆18Oct 20, 2026Updated 2 weeks ago
- ☆25Oct 19, 2026Updated 2 weeks ago
- k theorem prover☆11Aug 16, 2022Updated 4 years ago
- Proof of concept for CryptoDL made for BigSec course @ EURECOM☆19May 14, 2019Updated 7 years ago
- Data Types a la carte from PureScript -> JavaScript☆13Apr 19, 2017Updated 9 years ago