diku-dk / futhark-mode
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
- ☆45Updated 2 months ago
- Libraries and tool for parsing Org Mode documents with customizable exporters. 🦄☆24Updated 10 months ago
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically eff…☆36Updated this week
- An efficient graph library for Haskell☆39Updated 7 months ago
- Parser for Emacs org-mode files☆31Updated last year
- A grammar of data manipulation for Racket.☆20Updated 4 months ago
- Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.☆25Updated 3 months ago
- The Carth programming language. Mirror of https://sr.ht/~jojo/Carth/☆22Updated last year
- Run dyalog APL and RIDE on nixos☆20Updated 10 months ago
- Game NetCode Solved☆24Updated 3 years ago
- Automatic Haskell setup in Emacs, for Nix users☆28Updated 5 years ago
- ☆44Updated last year
- Check cross-references in repository documents☆56Updated this week
- Take an info.rkt file, produce a info.nix file.☆41Updated 3 years ago
- ☆27Updated 2 months ago
- (early experiments toward) a version-control system for structured data☆17Updated last year
- Template repo for Ema static site generator☆27Updated 2 months ago
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- seamless management of source dependencies with nix☆38Updated 2 months ago
- Text generation language☆33Updated last month
- Git repository containing the Futhark website.☆10Updated this week
- An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.☆18Updated 3 years ago
- embed haskell diagrams in emacs org-mode files☆10Updated 8 years ago
- ☆17Updated last year
- Interpret Haskell programs into any cartesian closed category.☆58Updated 2 months ago
- Manage your Containerfile with Dhall.☆31Updated 3 years ago
- Invertible parsing for S-expressions☆34Updated 6 months ago
- Interface to the Stack Haskell development tool☆27Updated 5 years ago
- ☆24Updated 2 years ago
- a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.☆19Updated 11 months ago