I did my Phd at IRIF (Paris) working on lambda-calculus under the direction of Delia Kesner and Giulio Guerrieri.
Pinned Loading
-
-
DimFort-EmacsCompanion
DimFort-EmacsCompanion PublicEmacs plugin for DimFort — dimensional-homogeneity checking for Fortran. Works with eglot (Emacs 29+) and lsp-mode.
Emacs Lisp
-
DimFort-NvimCompanion
DimFort-NvimCompanion PublicNeovim plugin for DimFort — dimensional-homogeneity checking for Fortran. Thin LSP client + user commands; requires Neovim >= 0.11.
Lua
-
DimFort-VSCompanion
DimFort-VSCompanion PublicVSCode extension for DimFort — dimensional-homogeneity checking for Fortran. Thin LSP client around the dimfort lsp server.
TypeScript
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.