flix / vscode-flix
☆22Updated this week
Alternatives and similar repositories for vscode-flix:
Users that are interested in vscode-flix are comparing it to the libraries listed below
- The Flix Programming Book☆17Updated this week
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆39Updated 4 months ago
- Changes and Pinafore projects. Pull requests not accepted.☆33Updated last week
- Unison Share's backend server☆24Updated this week
- A playground for parsers, type checkers, interpreters, compilers, etc.☆40Updated 3 months ago
- A compiler and run-time system to compile and run Curry programs as Go programs☆24Updated 5 months ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- Koka grammar for tree-sitter☆12Updated 2 months ago
- An implementation of the Lox language in Racket.☆33Updated last year
- A simple bidirectional type checker☆18Updated 6 years ago
- Erlang implementation built on GraalVM/Truffle☆13Updated 5 years ago
- All kinds of Roc examples☆36Updated 2 weeks ago
- Elm-inspired Scala library for writing web user interfaces☆119Updated 3 years ago
- A small general purpose programming language for programming on the JVM. packages: https://smllpkgs.onrender.com/☆16Updated 2 months ago
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated 3 months ago
- ☆20Updated this week
- Standard IO Library for OCaml☆39Updated 7 months ago
- Language server for Pony☆21Updated 4 months ago
- Tools for MIL, a Monadic Intermediate Language☆21Updated 7 months ago
- Effect Handlers for Java / the JVM☆30Updated 5 years ago
- Lore is a general-purpose programming language featuring multi-functions, structs and traits, a static type system with sum and intersect…☆18Updated last year
- Modern, pure OCaml socket pool for Riot☆42Updated last year
- Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…☆26Updated 2 years ago
- Unison base libraries, published using V1 codebase format☆24Updated 4 years ago
- Staging area for new benchmarking infrastructure for Scala Native.☆15Updated last year
- The Nox programming language☆29Updated last year
- A minimalist / functional / dataflow programming language☆13Updated 11 months ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 3 years ago
- Yona is a modern take on a dynamic general-purpose programming language with advanced functional programming, minimalistic ML-like syntax…☆128Updated 2 years ago
- dependently-typed lisp with flexible compiler backends☆27Updated 5 years ago