Pinned Repositories
ghc-mod-nvim
ghc-mod plugin for neovim using nvim-hs
haskell-template
My Haskell Project Template
interpreter-rank2-type-infer
OCaml-like interpreter written in OCaml
interpreter-rankN-type-check
OCaml-like interpreter written in Haskell
min-caml-hs
rewrite esumii/min-caml in haskell
ml2hfl
Reduce safety property verification problems of OCaml into ν-only HFL validity checking problems
nix-config
nvim-hs-lsp
language client for neovim implemented using nvim-hs
pandoc-md2redmine
xmonad-config
Hogeyama's Repositories
Hogeyama/nvim-hs-lsp
language client for neovim implemented using nvim-hs
Hogeyama/nix-config
Hogeyama/xmonad-config
Hogeyama/ml2hfl
Reduce safety property verification problems of OCaml into ν-only HFL validity checking problems
Hogeyama/pandoc-md2redmine
Hogeyama/haskell-template
My Haskell Project Template
Hogeyama/metarw-redmine
Hogeyama/dotfiles
Hogeyama/haskell-ide-engine
The engine for haskell ide-integration. Not an IDE
Hogeyama/haskell-z3
Haskell bindings to Microsoft's Z3 API (unofficial).
Hogeyama/hfl-benchmark
Hogeyama/hflmc2
Hogeyama/hoice
An ICE-based predicate synthesizer for Horn clauses.
Hogeyama/home-manager-config
Hogeyama/intero-neovim
A neovim plugin for Intero, forked from ghcmod-vim
Hogeyama/language-dot
A library for the analysis and creation of Graphviz DOT files
Hogeyama/markdown.nvim
Plugin to improve viewing Markdown files in Neovim
Hogeyama/MoCHi
MoCHi: Model Checker for Higher-Order Programs
Hogeyama/my-fzf-wrapper
Rustの手習い
Hogeyama/neogit
magit for neovim
Hogeyama/nix-bundle-elf
Hogeyama/practical-nextjs-book-applications
実践Next.js 写真投稿SNSアプリのサンプルコード のフォーク
Hogeyama/toyapp
A toy web application made of Elm and Haskell
Hogeyama/try-app-router
Hogeyama/try-deno-zx
bashの代替の選択肢になるかも?
Hogeyama/try-nuxt
Hogeyama/try-remix
Hogeyama/try-testcontainers
Hogeyama/try-unison
Hogeyama/xmobar-config