BosqueLanguage / BosqueCore
☆174Updated last week
Alternatives and similar repositories for BosqueCore:
Users that are interested in BosqueCore are comparing it to the libraries listed below
- A human readable quasi-concatenative programming language☆250Updated last month
- an experimental new programming language based on interaction nets☆239Updated last week
- A language with lexical effect handlers and lightweight effect polymorphism☆349Updated this week
- Rhombus programming language☆437Updated this week
- Bootstrap compiler for Firefly☆52Updated last week
- Claro Lang☆141Updated 10 months ago
- A general purpose programming language☆187Updated last month
- The list of awesome programming languages that you might be interested in.☆684Updated last month
- A fast functional language based on two level type theory☆389Updated 2 years ago
- ☆265Updated last month
- A language server for Standard ML in Rust.☆222Updated 2 weeks ago
- Cell compiler☆113Updated last year
- Effects-based direct-style IO for multicore OCaml☆595Updated 2 months ago
- ☆204Updated 9 months ago
- A fast and lightweight native programming language☆1,282Updated this week
- Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.☆299Updated 4 months ago
- A modern supercompiler for call-by-value functional languages☆404Updated last week
- Inpla: Interaction nets as a programming language (the current version)☆297Updated 5 months ago
- Cat - a statically typed functional stack-based programming language☆259Updated 7 years ago
- Source code of Seed7☆264Updated this week
- A declarative concatenative programming language☆164Updated 5 months ago
- ✨ The compiler and developer toolchain for Onyx☆607Updated 2 months ago
- Source code for the Pipefish programming language☆165Updated this week
- A language for building concurrent software with confidence☆1,140Updated this week
- Cicada Language (PLCT little team)☆92Updated 3 months ago
- ⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.☆311Updated this week
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,111Updated last week
- Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.☆151Updated this week
- A simple ML-like programming language with subtyping and full type inference.☆171Updated 4 months ago
- Research WebAssembly Engine☆411Updated this week