#Agda

Showing 4 of 4 repositories tagged #agda, ranked by stars

agda-mode for neovim

★ 184 ⑂ 28 —

agda-mode-vscode

agda-mode on VS Code

★ 184 ⑂ 44 —

A toolkit for enforcing logical specifications on neural networks

★ 130 ⑂ 17 —

An experimental Agda kernel for Jupyter

★ 25 ⑂ 3 —

Jupyter Notebook

Related Topics

#neovim #nvim-hs #vim-textobj-user #vim-which-key #agda-mode #reasonml #vscode #vscode-extension #haskell #neural-network #specification #verification