Compiler for the Vale programming language - http://vale.dev/
☆34Feb 15, 2026Updated 2 weeks ago
Alternatives and similar repositories for Vale
Users that are interested in Vale are comparing it to the libraries listed below
Sorting:
- Numerical Optimisation Library☆17Jul 9, 2023Updated 2 years ago
- A fictional personal computer from the 80s☆12Feb 23, 2021Updated 5 years ago
- 3d model for Ziggy the Ziguana☆15Feb 18, 2022Updated 4 years ago
- exploration of reflective architectures in Scheme☆21May 20, 2022Updated 3 years ago
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆12May 13, 2025Updated 9 months ago
- Owl's Differential Equation Solvers☆35Dec 15, 2021Updated 4 years ago
- A database of programming languages.☆14Feb 4, 2025Updated last year
- It aims to be for WASM what YAML is for JSON. Programming language targetting WebAssembly. Human friendly WAT☆22Apr 19, 2022Updated 3 years ago
- N. Wirth's Project Oberon RISC compiler ported to Go.☆18Feb 12, 2024Updated 2 years ago
- Adding support for Visual Studio Code-compatible devcontainers (https://containers.dev/) to Emacs☆21May 10, 2025Updated 9 months ago
- 💧 Liquid Haskell integration for Cabal and Stack☆25May 30, 2019Updated 6 years ago
- Tracks runtime instruction execution in Linux programs☆36Aug 25, 2013Updated 12 years ago
- Tree-sitter package for the Zig programming language☆29May 24, 2024Updated last year
- Interaction net resources☆45Jan 29, 2026Updated last month
- Zig bindings to libgit2☆32Jul 9, 2023Updated 2 years ago
- A tool for creating new OCaml projects with OPAM, Oasis, and Merlin☆24Nov 26, 2016Updated 9 years ago
- Borrowchecker in Zig☆117Feb 4, 2023Updated 3 years ago
- ☆29Aug 22, 2025Updated 6 months ago
- an experimental programming language for the erlang vm that is actually useful☆29Aug 23, 2019Updated 6 years ago
- A SapientML plugin of SapientMLGenerator☆11Dec 23, 2025Updated 2 months ago
- estruct traverses javascript projects and maps all the dependencies and relationships to a JSON. the output can be used to build network …☆12Aug 22, 2021Updated 4 years ago
- A set of tools that make working with the Scala ecosystem even better.☆12Updated this week
- Functional Pearl: Certified Binary Search in a Read-Only Array☆29May 26, 2021Updated 4 years ago
- A scripting language that calculates the worst-case execution time (WCET) before executing each script. Ideal for multi-tenant microservi…☆34Mar 28, 2025Updated 11 months ago
- V 2D/3D graphics library with an OpenGL backend (DirectX, Vulkan, Metal coming soon)☆32Jun 17, 2019Updated 6 years ago
- tomato, a plant from the solanaceae family - tox built-in☆10Updated this week
- This repository contains the registries for components, agents and services, the second part of the autonolas-v1 protocol.☆15Updated this week
- ☆39Apr 25, 2023Updated 2 years ago
- Common GreenAddress web files (used by Electron app, Cordova app) or see js_only_deprecated for web/Chrome app☆11Jun 18, 2024Updated last year
- ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.☆38Jun 3, 2022Updated 3 years ago
- Probabilistic data structures for OCaml☆39Jan 26, 2018Updated 8 years ago
- R package for the United Nations World Population Prospects 2024☆18Jun 24, 2025Updated 8 months ago
- My personal site.☆10Feb 23, 2026Updated last week
- establish trust in community repositories, cryptographically signed by library authors☆37Nov 12, 2025Updated 3 months ago
- Soul - an esoteric concatenative language☆12Apr 30, 2024Updated last year
- Literally does the opposite of Ciphey. Encrypts text.☆11Feb 25, 2021Updated 5 years ago
- 2D physics engine☆11Jan 12, 2023Updated 3 years ago
- Library to maintain a forking queue of Cucumber processes☆16Oct 17, 2019Updated 6 years ago
- Sources of the EuroProofNet web site.☆13Updated this week