The Hylo programming language
☆83Nov 1, 2026Updated this week
Alternatives and similar repositories for hylo-new
Users that are interested in hylo-new are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The Hylo programming language☆1,569Oct 19, 2026Updated 2 weeks ago
- Compiler for the Valen programming language☆640Oct 18, 2026Updated 2 weeks ago
- 🌌 The Plasm programming language compiler☆26Oct 19, 2026Updated 2 weeks ago
- Mechanized metatheory of LF in Twelf.☆16Jun 3, 2012Updated 14 years ago
- ☆17Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A statically-typed, expression-based language with declarative patterns, mandatory testing, and explicit effects.☆17Jul 28, 2026Updated 3 months ago
- An Elixir toolkit for the AT Protocol.☆24Jun 29, 2026Updated 4 months ago
- Implementation of Quantitative Type Theory (in TypeScript)☆14Dec 16, 2020Updated 5 years ago
- A data-oriented proof assistant☆37Updated this week
- ☆12Dec 1, 2025Updated 11 months ago
- Reference spec for Swift Concurrency☆12Jul 9, 2026Updated 3 months ago
- Fork of apple/swift with modifications to the stdlib to use in a bare metal kernel for use with swift-project1. See KERNEL_LIB.md for det…☆15Apr 8, 2026Updated 6 months ago
- Haskell implementation of the Edinburgh Logical Framework☆34Jan 12, 2026Updated 9 months ago
- Docker image of Swift for Linux on Ubuntu 16.04☆19Sep 30, 2021Updated 5 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.
- Systems language with linear types and capability-based security.☆1,602Jul 28, 2025Updated last year
- Абстрактный сетевой слой, основанный на Swift Concurrency☆10Aug 6, 2024Updated 2 years ago
- Swift as a Metalanguage for MLIR - Building the Future of ML Compilers in Swift☆24Dec 9, 2025Updated 10 months ago
- Refinement types + dependent types = ❤️☆62Aug 8, 2022Updated 4 years ago
- 🦠 An experimental elaborator for dependent type theory using effects and handlers☆39Jun 19, 2026Updated 4 months ago
- Bringing LibTorch into the Swift differential wonderland.☆15Dec 15, 2025Updated 10 months ago
- Ludum Dare 47 Entry - Hyperbolic Space Fighters Extreme!☆19Oct 4, 2020Updated 6 years ago
- Formal Topology in Univalent Foundations (WIP).☆38Jul 29, 2022Updated 4 years ago
- A toy implementation of the dependently typed lambda calculus known as λΠ☆12Jan 29, 2020Updated 6 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.
- ☆19Feb 8, 2024Updated 2 years ago
- Please use the new mirrror https://github.com/EiffelSoftware/es-libraries☆12Sep 19, 2025Updated last year
- Homotopy type theory☆14Sep 21, 2022Updated 4 years ago
- A RISCV 64-bit operating system kernel written in Swift, inspired by the aesthetics and themes of Neon Genesis Evangelion.☆24Oct 29, 2025Updated last year
- An implementation of the Cake composition language (or something resembling one)☆12Sep 8, 2012Updated 14 years ago
- 🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory☆22Nov 20, 2025Updated 11 months ago
- An experimental language whose object system is a topos: places are pre-sheaves, values are content-addressed on the Leech lattice, and t…☆27Oct 23, 2026Updated last week
- A enumerator for MLIR, relying on the information given by IRDL.☆26Oct 8, 2026Updated 3 weeks ago
- The Iron programming language☆16Jan 15, 2019Updated 7 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.
- DGLEngine v1.1☆11May 13, 2025Updated last year
- ☆17Oct 17, 2026Updated 2 weeks ago
- Swift Documentation☆29Oct 26, 2026Updated last week
- App Store Like Multi App River View☆16Mar 15, 2020Updated 6 years ago
- LSP and BSP support types used by Swift toolchain☆30Updated this week
- Mechanizing Types and Programming Languages using Beluga☆24May 29, 2020Updated 6 years ago
- Personal WebAssembly learning project (build a SmallTalk like environment but with WASM)☆12Jan 24, 2025Updated last year