diku-dk / futhark-mode
Emacs major mode for editing Futhark programs
☆11Updated 3 months ago
Alternatives and similar repositories for futhark-mode:
Users that are interested in futhark-mode are comparing it to the libraries listed below
- Libraries and tool for parsing Org Mode documents with customizable exporters. 🦄☆23Updated 9 months ago
- Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.☆25Updated 2 months ago
- ☆45Updated last month
- Automatic Haskell setup in Emacs, for Nix users☆28Updated 5 years ago
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically eff…☆34Updated this week
- A grammar of data manipulation for Racket.☆20Updated 3 months ago
- Invertible parsing for S-expressions☆34Updated 5 months ago
- ☆26Updated last month
- Very simple syntax highlighting☆21Updated 9 months ago
- An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.☆18Updated 3 years ago
- ☆44Updated last year
- embed haskell diagrams in emacs org-mode files☆10Updated 8 years ago
- Emacs major mode for Dyalog APL☆15Updated 2 years ago
- Emacs bindings for hlint's --refactor option☆27Updated 6 years ago
- Interpret Haskell programs into any cartesian closed category.☆58Updated last month
- Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)☆59Updated 4 years ago
- Julia embedded in Haskell☆53Updated 2 months ago
- An Emacs Lisp reader in Nix.☆35Updated 6 months ago
- Parser for Emacs org-mode files☆31Updated last year
- Game NetCode Solved☆24Updated 3 years ago
- Run dyalog APL and RIDE on nixos☆21Updated 9 months ago
- An implementation of "A Pretty Expressive Printer" in Racket☆27Updated last year
- An Emacs major mode for editing in pollen markup language☆43Updated 2 years ago
- A metalanguage for creating sophisticated DSLs in Racket.☆30Updated this week
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- Improved Haskell support for Flycheck☆67Updated 3 months ago
- An Emacs command for updating fetch declarations in place☆78Updated 2 months ago
- Nix Skeleton Hasktorch project made for easy cloning and forking☆16Updated this week
- ☆17Updated last year