diku-dk / futhark-modeLinks
Emacs major mode for editing Futhark programs
☆11Updated 3 weeks ago
Alternatives and similar repositories for futhark-mode
Users that are interested in futhark-mode are comparing it to the libraries listed below
Sorting:
- Libraries and tool for parsing Org Mode documents with customizable exporters. 🦄☆24Updated last year
- ☆45Updated 5 months ago
- A grammar of data manipulation for Racket.☆20Updated 6 months ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆64Updated 3 years ago
- A modern, TreeSitter-powered, Emacs major mode for OCaml☆20Updated 2 weeks ago
- Automatic Haskell setup in Emacs, for Nix users☆28Updated 5 years ago
- Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.☆25Updated 5 months ago
- Interface to the Stack Haskell development tool☆27Updated 5 years ago
- Functional interfaces and datatypes for Racket☆43Updated 3 years ago
- Code auditing mode for Emacs☆36Updated 6 years ago
- Parser for Emacs org-mode files☆32Updated last year
- Emacs bindings for hlint's --refactor option☆27Updated 6 years ago
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically eff…☆37Updated this week
- Insert Unicode math symbols in Emacs☆13Updated 3 years ago
- ☆44Updated last year
- An Emacs Lisp reader in Nix.☆37Updated 9 months ago
- A company backend for haskell☆23Updated 5 years ago
- Rust crate to Guix package definition☆17Updated 2 years ago
- Automatically generate Nix expressions for Emacs packages☆30Updated 8 months ago
- hasklig-mode.el - Hasklig ligatures for emacs☆40Updated 5 months ago
- Kiwi content management engine☆13Updated 3 months ago
- Very simple syntax highlighting☆21Updated last year
- (early experiments toward) a version-control system for structured data☆17Updated last year
- An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.☆18Updated 3 years ago
- An efficient graph library for Haskell☆39Updated last week
- A formatter for Haskell source code☆37Updated 3 years ago
- Improved Haskell support for Flycheck☆67Updated 6 months ago
- Julia embedded in Haskell☆52Updated 5 months ago
- Emacs major mode for Dyalog APL☆15Updated 2 years ago
- virtualenv like tool for Racket☆31Updated 2 years ago