A Rust-like language with immix GC and other cool stuffs
☆78May 11, 2025Updated last year
Alternatives and similar repositories for pivot-lang
Users that are interested in pivot-lang are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Extensible AI agent framework in Go — multi-channel (Feishu/Slack/CLI), sandboxed tool execution, MCP integration, multi-tenant sessions☆12Apr 27, 2026Updated 6 months ago
- Extensible AI agent framework in Go — multi-channel (Feishu/Slack/CLI), sandboxed tool execution, MCP integration, multi-tenant sessions☆15Updated this week
- blog with go☆11Jul 5, 2023Updated 3 years ago
- Immix GC for LLVM based languages☆18Apr 2, 2025Updated last year
- 华中科技大学Linux协会（HUSTLUG）开源镜像站☆12Oct 26, 2023Updated 3 years ago
- AI Agents on 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.
- Create a multi-tier Just-in-time compiler in 10 minutes!☆15Dec 20, 2016Updated 9 years ago
- A blazor library provides component to crop image☆86Jul 11, 2024Updated 2 years ago
- Simply Typed Lambda Calculus with de Bruijn indices☆19Oct 9, 2026Updated 3 weeks ago
- Volume 1, The Sockets Networking API.☆18Dec 27, 2021Updated 4 years ago
- The Sim programming language, a strongly typed, compiled programming language with a goal of simplicity. Sim是一门简洁的、强类型的编译型语言。☆11Oct 2, 2026Updated last month
- A programming language inspired by Lua and Python.☆13Jul 30, 2026Updated 3 months ago
- A command-line IPA re-signer for non-jailbroken iOS devices. Works with a **free Apple Developer account** — no paid membership required.☆16Oct 23, 2026Updated last week
- ☆11Oct 18, 2024Updated 2 years ago
- Effect monads with specifications (DIjkstra Monads) in Lean 4☆12Feb 18, 2024Updated 2 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.
- Experimental JIT compiler generator☆29Apr 17, 2024Updated 2 years ago
- Partial evaluation of Python code☆22Mar 2, 2023Updated 3 years ago
- Dao Standard Modules☆12Apr 19, 2018Updated 8 years ago
- A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf☆15Mar 27, 2025Updated last year
- A Tiny, Friendly Companion to LLVM☆48Jan 12, 2026Updated 9 months ago
- Implementation of LLVM compiler plugin for garbage collection☆23Dec 24, 2014Updated 11 years ago
- Lean4 library for substitution inspired by autosubst☆16Oct 23, 2026Updated last week
- A repository for navigating through various programming languages, providing links to their official websites and repository addresses.☆11Sep 3, 2026Updated 2 months ago
- A compile-to-JavaScript language with tight TypeScript integration.☆23Oct 15, 2023Updated 3 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.
- A statically-typed programming language☆239Updated this week
- A python-lib for authenticating HustPass@2023☆11Apr 4, 2026Updated 6 months ago
- ☆10May 16, 2025Updated last year
- A Haskell 2010 type checker☆17Feb 25, 2024Updated 2 years ago
- ☆19Oct 5, 2023Updated 3 years ago
- Allow function lifetime elision and explicit `for<'a>` annotations on closures.☆26Jan 31, 2022Updated 4 years ago
- ThyLang is an interpreted programming language inspired by Shakespearean/old English. This language allows you to code in a way that feel…☆12Jun 22, 2025Updated last year
- Extension of nom to trace parser☆49Feb 3, 2025Updated last year
- ☆35Apr 18, 2026Updated 6 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 🐒 The Blow Your Mind Conference☆15Oct 16, 2026Updated 2 weeks ago
- Project moved☆10Dec 8, 2025Updated 10 months ago
- A small, spec-compliant JavaScript engine written in MoonBit, inspired by QuickJS☆15Jan 30, 2026Updated 9 months ago
- 🍓 A toy object-oriented programming language written by rust☆17Apr 10, 2024Updated 2 years ago
- Combinator methods for `std::AsyncIterator` using all the new `async` superpowers☆10Feb 15, 2024Updated 2 years ago
- "Generic generics" / higher-kinded APIs in stable Rust.☆21Sep 7, 2026Updated last month
- A programming language for one-liner method chain lovers!☆24Oct 25, 2026Updated last week