多重ディスパッチをベースとする静的型付け関数型プログラミング言語
☆24Sep 2, 2019Updated 6 years ago
Alternatives and similar repositories for mud
Users that are interested in mud are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Toy virtual machine and JIT Engine with JavaScript Like Syntax☆14Feb 19, 2019Updated 7 years ago
- ☆13Oct 7, 2016Updated 9 years ago
- プログラミング言語bone☆25Mar 11, 2026Updated 3 weeks ago
- 大学１年のころに制作したコマンドプロンプトで動くトランプゲーム（ババ抜き）。☆11Jun 30, 2022Updated 3 years ago
- a parallel, safe, iterative list operation language for systems programming☆16Jul 9, 2020Updated 5 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A function-oriented language with effect inference☆19May 22, 2014Updated 11 years ago
- RBS grammer for tree-sitter☆15Nov 13, 2025Updated 4 months ago
- Common Lisp SPARQL query generation library☆12Aug 3, 2019Updated 6 years ago
- Structurally-typed strict functional core language☆19Mar 27, 2026Updated 2 weeks ago
- Common lisp bindings to CUDD.☆13Jan 3, 2018Updated 8 years ago
- Python module for composing computations☆27Mar 19, 2025Updated last year
- Pure Rust Lua implementation☆41May 10, 2025Updated 11 months ago
- A Jekyll plugin to provide static site comments via GitHub pull requests.☆12Nov 23, 2016Updated 9 years ago
- ☆16Feb 4, 2021Updated 5 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- a Haskell implementation of Deep Learning frameworks.☆12Mar 29, 2016Updated 10 years ago
- The Dragon Virtual Machine.☆10Jan 31, 2018Updated 8 years ago
- The functional programming language for scalable development☆35Jan 5, 2025Updated last year
- haskell-like compiled language based on Python VM☆10Sep 16, 2018Updated 7 years ago
- Implementing a programming language within 20 minutes, also a tutorial for syntax driven parsing with frontend-for-free.☆16May 18, 2021Updated 4 years ago
- An implementation of Scheme embedded in Common Lisp☆25Dec 2, 2011Updated 14 years ago
- Lambda Calculus with quote and unquote☆19Jun 29, 2020Updated 5 years ago
- 通話に誰か入ってきた時に音楽を流す☆11Sep 13, 2020Updated 5 years ago
- ☆17Apr 27, 2024Updated last year
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Insert rbs-inline comments from YARD type annotations.☆12Apr 9, 2025Updated last year
- A programming language (WIP)☆29Jun 2, 2024Updated last year
- This vim plugin provide lisp environments for vimmers.☆38Oct 20, 2012Updated 13 years ago
- ☆18Nov 15, 2019Updated 6 years ago
- Lisp Flavoured C++☆29Mar 12, 2021Updated 5 years ago
- A high level LLVM IR AST provider for GraphEngine JIT.☆22Sep 9, 2018Updated 7 years ago
- 🌊 a minimal (chat-like) social-networking service for closed small community.☆25Updated this week
- RBS syntax highlight for VSCode.☆20Feb 14, 2026Updated last month
- Allegro Maild, an SMTP server written in Common Lisp☆17Nov 7, 2015Updated 10 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- secret project☆17Mar 14, 2018Updated 8 years ago
- Metamath in C++☆14Jun 4, 2019Updated 6 years ago
- ☆22Nov 11, 2024Updated last year
- dynamic rbs generator☆19Sep 10, 2022Updated 3 years ago
- x86 emulator by Golang☆13Jun 29, 2017Updated 8 years ago
- A t.m.k. real Unix keyboard config for a minified Filco Minila.☆23Mar 7, 2015Updated 11 years ago
- Ruby SDK for GMO Aozora Net Bank, Ltd.☆18Oct 4, 2022Updated 3 years ago