💎 Native compiler with atlas-bound theorems — 8 strict-lint stages · citation-enforced · no LLVM · self-hosting native fixpoint
☆223Jun 30, 2026Updated this week
Alternatives and similar repositories for hexa-lang
Users that are interested in hexa-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:
- Distributed ML training across Apple Silicon Macs☆104Apr 22, 2026Updated 2 months ago
- 🧠 Living Consciousness Agent — PureField repulsion-field engine · Engine A ⇄ Engine G · Ψ=1/2 fixed point · 2,448 laws + 392 hypotheses☆163Updated this week
- Portable semantic memory for AI agents: core engine, TypeScript SDK, framework adapters, MCP server, CLI, and host plugins.☆170Jun 23, 2026Updated last week
- Javascript library for stoobly-agent☆57Jun 23, 2026Updated last week
- A curated list of awesome projects, tools, and resources for Apple MLX — the ML framework for Apple Silicon☆472Apr 11, 2026Updated 2 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ROM Emulator Pokemon mGBA eden emulator eden emulator switch 2: download GBA NDS 3DS Switch games, android APK, MelonDS setup guide, Citr…☆53May 17, 2026Updated last month
- A high-performance matcher designed to solve LOGICAL and TEXT VARIATIONS problems in word matching, implemented in Rust.☆19Jun 16, 2026Updated 2 weeks ago
- Using Tacotron2 to do Cherokee Text to Speech☆10May 10, 2022Updated 4 years ago
- ☆15Oct 7, 2021Updated 4 years ago
- 誰でも大好き☆10Jul 4, 2022Updated 4 years ago
- "npm list/update -g" for golang☆15May 6, 2026Updated 2 months ago
- A reverse proxy for tailscale that auto-configures with certificates from the local daemon.☆12Aug 21, 2023Updated 2 years ago
- Numerical simulations of physical systems - library and example binaries☆15Mar 21, 2023Updated 3 years ago
- 🦎 dirty toolkit☆11Apr 5, 2026Updated 3 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Fork of http://sevenzipsharp.codeplex.com/☆11May 31, 2012Updated 14 years ago
- A tool to format in a very opinionated way HTML, XML and text containing XML snippets.☆11Jun 17, 2026Updated 2 weeks ago
- Filterable (grep, head and tail) HTTP file server☆17Updated this week
- Terraform module to create AWS ECR (Elastic Container Registry)☆11Jun 23, 2026Updated last week
- Experimental library to bring full-stack type-safety to web services in Go☆11Apr 4, 2025Updated last year
- @angular/platform-server build artifacts☆15Jun 26, 2026Updated last week
- 📚 school 21 (42) libft project☆17Aug 30, 2020Updated 5 years ago
- Mostly Automated setup to deploy k3s and additional services on your home cluster☆11Updated this week
- ☆12Jun 30, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- The C Basque compiler.☆11Sep 27, 2022Updated 3 years ago
- The notes of Java interview, we can visit https://cornprincess.github.io/Backend_Notes/ to read notes. The visitor in China can browser☆11Feb 23, 2021Updated 5 years ago
- a generative engine☆16Mar 1, 2026Updated 4 months ago
- Rust crates for the IB TWS API☆13Jul 8, 2023Updated 2 years ago
- My nomad jobs☆15Jun 23, 2026Updated last week
- OpenOS-DRM☆23Dec 10, 2020Updated 5 years ago
- Awesome-gpt, 基于 OpenAI 定制化的 Chatgpt Web 应用☆12Dec 16, 2024Updated last year
- Automatic testing of FFI bindings for Rust☆22Apr 12, 2025Updated last year
- Native Pure Go Driver for Apache Drill and Dremio using the protobuf interface rather than the REST Api for better performance☆20Mar 13, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Semi-auto editor for fandom/mediawiki wikis.☆12Updated this week
- A fast, minimal HTTP framework.☆17Jul 3, 2021Updated 5 years ago
- Is that (ip,port) banned?☆16Apr 29, 2024Updated 2 years ago
- An enhanced Ruby gem to communicate with Icinga2 API☆12Jan 14, 2019Updated 7 years ago
- Trying to make sense of the Age-Diagrams published by the Swiss Federal Office of Health FOPH (Bundesamt für Gesundheit BAG)☆10Jan 5, 2022Updated 4 years ago
- ☆11Jul 9, 2022Updated 3 years ago
- network packets capture in C language based on libpcap☆15Sep 23, 2022Updated 3 years ago