diku-dk / futhark-vscodeLinks
VS Code extension for Futhark
☆14Updated 2 months ago
Alternatives and similar repositories for futhark-vscode
Users that are interested in futhark-vscode are comparing it to the libraries listed below
Sorting:
- Various Futhark benchmark programs☆42Updated last month
- Kitbag is a content-addressed versioned tree-structured graph-based datastore.☆14Updated 3 years ago
- A general purpose relational language☆19Updated 5 years ago
- Parallelized 3D FDTD Schrödinger Equation Solver☆21Updated 6 years ago
- An experimental programming language for ergonomic software verification☆16Updated last month
- Futhark integration for Rust projects☆12Updated 5 months ago
- Passerine's package manager.☆22Updated 2 years ago
- Error return tracing in Rust. Still WIP☆11Updated 3 years ago
- Compiler for the Vale programming language - http://vale.dev/☆32Updated last year
- An optimizing Brainfuck interpreter.☆14Updated 6 years ago
- Experimenting with ergonomic dyn types☆29Updated 3 years ago
- Locate local installations of the Wolfram Language.☆16Updated 4 months ago
- Rayon: A data parallelism library for Rust☆7Updated 3 months ago
- A programming language somewhat resembling cellular processes.☆34Updated 3 years ago
- Type-Level Programming in Rust☆27Updated 3 years ago
- A transparent systems programming language. Check out the next-prototype branch! On indefinite hiatus.☆11Updated 3 years ago
- NodeC -- A lean NodeJS in C using algebraic effect handlers.☆34Updated 6 years ago
- Ninja is a small build system with a focus on speed. Rust language port.☆17Updated 7 years ago
- A robust and generalized library for Geometric Algebra in Rust☆25Updated 2 years ago
- A library for immutable lossless syntax trees in Rust☆29Updated last year
- Pull your compiler up with abstract bootstraps.☆31Updated 2 years ago
- SIMD optimised algorithms and data types☆18Updated 5 years ago
- Bachelor's thesis 2019☆12Updated 2 years ago
- Pteridophyte Phylogeny Group (PPG) taxonomic system for ferns and lycophytes☆8Updated last week
- Superposition prover☆17Updated 2 years ago
- A simple prolog implementation in Rust☆26Updated 4 years ago
- Huzita-Hatori axioms for origami, implemented using 2D projective geometric algebra.☆12Updated 4 years ago
- GPU Accelerated, Distributed, Actor Model Language (WIP)☆30Updated 2 years ago
- Garbage collector implementation in Rust for Rust☆13Updated 4 years ago
- RLIBM-ALL: A correctly rounded math library and a polynomial generator that produces correct results for multiple floating point represen…☆16Updated last year