diku-dk / futhark-modeLinks
Emacs major mode for editing Futhark programs
☆11Updated last month
Alternatives and similar repositories for futhark-mode
Users that are interested in futhark-mode are comparing it to the libraries listed below
Sorting:
- Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.☆25Updated 6 months ago
- A grammar of data manipulation for Racket.☆20Updated 7 months ago
- Libraries and tool for parsing Org Mode documents with customizable exporters. 🦄☆24Updated last year
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically eff…☆38Updated this week
- A modern, TreeSitter-powered, Emacs major mode for OCaml☆27Updated last month
- Run dyalog APL and RIDE on nixos☆20Updated last year
- ☆44Updated 2 years ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆64Updated 3 years ago
- Very simple syntax highlighting☆21Updated last year
- (early experiments toward) a version-control system for structured data☆17Updated last year
- Julia embedded in Haskell☆52Updated 6 months ago
- An emacs centric fork of parinfer-rust☆11Updated 9 months ago
- Automatic Haskell setup in Emacs, for Nix users☆28Updated 6 years ago
- Nix Skeleton Hasktorch project made for easy cloning and forking☆16Updated 2 weeks ago
- An efficient graph library for Haskell☆39Updated last month
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- ☆45Updated 5 months ago
- A friendly functional language for finding counterexamples 🎯☆13Updated 11 months ago
- translations of a lambda abstraction to combinations of operators☆18Updated 5 years ago
- An Emacs major mode for editing in pollen markup language☆43Updated 2 years ago
- A framework for applied category theory in the Julia language☆11Updated 2 years ago
- Futhark integration for Rust projects☆12Updated 4 months ago
- The Carth programming language. Mirror of https://sr.ht/~jojo/Carth/☆22Updated last year
- Parsers and (eventually) Idris code generator for WebIDL documents☆15Updated 4 months ago
- Parser for Emacs org-mode files☆32Updated last year
- Code auditing mode for Emacs☆36Updated 6 years ago
- Python library using the Futhark C backend via CFFI☆25Updated 2 years ago
- Emacs major mode for Dyalog APL☆16Updated 2 years ago
- Take an info.rkt file, produce a info.nix file.☆42Updated 4 years ago
- Free scientific packages for GNU Guix.☆49Updated 8 months ago