diku-dk / futhark-vscode
VS Code extension for Futhark
☆13Updated 2 years ago
Alternatives and similar repositories for futhark-vscode:
Users that are interested in futhark-vscode are comparing it to the libraries listed below
- Linear algebra package for Futhark☆17Updated last month
- Library for writing interactive and visual Futhark programs☆22Updated 8 months ago
- Visualization tool for your IO-uring workload☆14Updated 6 months ago
- You are trapped on an infinite tile floor along with murderous marbles☆10Updated 4 months ago
- Various Futhark benchmark programs☆41Updated last month
- An experimental language server for SomewhatML☆24Updated 2 years ago
- Kitbag is a content-addressed versioned tree-structured graph-based datastore.☆14Updated 3 years ago
- programming with second class references☆23Updated this week
- Malfunction backend for Idris 2☆12Updated 3 years ago
- Two-Level Type Theory☆28Updated 5 years ago
- Type-Level Programming in Rust☆27Updated 3 years ago
- A compiler and runtime for normalizing the untyped λ-calculus☆31Updated 3 years ago
- RLIBM-ALL: A correctly rounded math library and a polynomial generator that produces correct results for multiple floating point represen…☆15Updated last year
- Calculus of Constructions Implementation☆15Updated 5 years ago
- BQN implementation in Julia☆18Updated 2 years ago
- Like APL, but with emojis☆15Updated 2 years ago
- An experimental programming language for ergonomic software verification☆16Updated this week
- A simple prolog implementation in Rust☆26Updated 4 years ago
- Call Futhark programs from Standard ML☆10Updated 5 months ago
- a reasonably fast syntax highlighter☆13Updated 3 years ago
- Garbage collector implementation in Rust for Rust☆13Updated 4 years ago
- Generate bindings for Futhark☆36Updated 2 years ago
- Hanoi tower in Coq☆24Updated 2 months ago
- Solving the 1 Billion Row Challenge in MPL☆17Updated last year
- Git repository containing the Futhark website.☆10Updated last month
- Code style checker for Jane Street Packages☆19Updated 3 months ago
- A TOML parser for Idris 2☆15Updated 7 months ago