Pinned Repositories
DT-TicTacToe
Dependently typed TicTacToe engines
Idris2
A purely functional programming language with first class types
Idris2-hashable
Interface for types that can be hashed.
idris2-hashmap
Hash-array map tries in Idris2
idris2-json
Automatically derivable JSON marshallers in the spirit of Haskell's aeson
idris2-nvim
Simple configuration and extra tools for NVIM + LSP + Idris2
idris2-sdl
Experimental SDL2 bindings for Idris2
nvim-idris2
EXPERIMENTAL: Idris2 plugin for neovim in Idris2
rewrite
Verified directed graph rewriting with Idris
ShinKage's Repositories
ShinKage/idris2-nvim
Simple configuration and extra tools for NVIM + LSP + Idris2
ShinKage/nvim-idris2
EXPERIMENTAL: Idris2 plugin for neovim in Idris2
ShinKage/idris2-sdl
Experimental SDL2 bindings for Idris2
ShinKage/rewrite
Verified directed graph rewriting with Idris
ShinKage/DT-TicTacToe
Dependently typed TicTacToe engines
ShinKage/Idris2
A purely functional programming language with first class types
ShinKage/Idris2-hashable
Interface for types that can be hashed.
ShinKage/idris2-hashmap
Hash-array map tries in Idris2
ShinKage/idris2-json
Automatically derivable JSON marshallers in the spirit of Haskell's aeson
ShinKage/idris2-vim
Vim mode for Idris 2
ShinKage/lambda
Pet language
ShinKage/lci-2019
Final project for the LCI 2019-2020 course
ShinKage/MasterThesis
ShinKage/Yaffle
A core language and API for dependently typed languages