Invisible-Rabbit-Hunter

Pinned Repositories

agda.nvim
NeoVim plugin for interacting with Agda written in Lua
Language:Lua0 0 00
c-sharp-6-for-programmers
C# 6 for programmers thing
Language:C#0 1 00
CCC-Semantics
CCC Semantics of lambda calculus in Lean4
Language:Lean0 1 00
cubical
An experimental library for Cubical Agda
Language:Agda0 0 00
DA3018-Datalogi
Labs for DA3018 - Datalogi
Language:Java0 1 00
devrant-haskell
Unofficial devRant haskell api
Language:C2 1 00
terminal_devrant
A devRant viewer in the terminal.
Language:C++18 2 03

Invisible-Rabbit-Hunter's Repositories

Invisible-Rabbit-Hunter/terminal_devrant
A devRant viewer in the terminal.
Language:C++18 2 03
Invisible-Rabbit-Hunter/devrant-haskell
Unofficial devRant haskell api
Language:C2 1 00
Invisible-Rabbit-Hunter/agda.nvim
NeoVim plugin for interacting with Agda written in Lua
Language:Lua0 0 00
Invisible-Rabbit-Hunter/c-sharp-6-for-programmers
C# 6 for programmers thing
Language:C#0 1 00
Invisible-Rabbit-Hunter/CCC-Semantics
CCC Semantics of lambda calculus in Lean4
Language:Lean0 1 00
Invisible-Rabbit-Hunter/cubical
An experimental library for Cubical Agda
Language:Agda0 0 00
Invisible-Rabbit-Hunter/DA3018-Datalogi
Labs for DA3018 - Datalogi
Language:Java0 1 00
Invisible-Rabbit-Hunter/dex-lang
Research language for array processing in the Haskell/ML family
Language:Haskell0 0 00
Invisible-Rabbit-Hunter/eta
The Eta Programming Language, a dialect of Haskell on the JVM
Language:Haskell1 0
Invisible-Rabbit-Hunter/evince-synctex.nvim
Evince forward and backward search for neovim, using dbus directly.
Language:Lua1 01
Invisible-Rabbit-Hunter/haskell-ide-engine
The engine for haskell ide-integration. Not an IDE
Language:Haskell1 0
Invisible-Rabbit-Hunter/hott-ordinals
An implementation of ordinals à la the HoTT book.
Language:Agda1 0
Invisible-Rabbit-Hunter/HyperNerd
Total Surveillance Automatic Ban Machine for Twitch
Language:Haskell1 0
Invisible-Rabbit-Hunter/idris-package-manager
An idris package manager
Language:Idris1 0
Invisible-Rabbit-Hunter/latex-homework-class
A class for homework assignments written in LaTeX.
Language:TeX0 0
Invisible-Rabbit-Hunter/leafwing-input-manager
A straightforward stateful input manager for the Bevy game engine.
Invisible-Rabbit-Hunter/master-thesis
Language:TeX1 0
Invisible-Rabbit-Hunter/Odin
Odin Programming Language
Language:C++0 0
Invisible-Rabbit-Hunter/prezto
The configuration framework for Zsh
Language:Shell0 0
Invisible-Rabbit-Hunter/profunctor-lens
A simple implementation of profunctor optics.
Language:Haskell1 0
Invisible-Rabbit-Hunter/purescript-comonad-ui-todos
Simple task management application for my bachelor thesis based on Phil Freeman's Comonads as spaces
Language:PureScript0 0
Invisible-Rabbit-Hunter/reactive-banana
Library for functional reactive programming in Haskell.
Language:Haskell0 0
Invisible-Rabbit-Hunter/sdl2
Haskell bindings to the SDL2 library
Language:Haskell0 0
Invisible-Rabbit-Hunter/shaken
shakespeare bot for my twitch chat.
Language:Rust1 0
Invisible-Rabbit-Hunter/supernerd11.github.io
My pages
Language:HTML1 0
Invisible-Rabbit-Hunter/tutorials
Some Lean tutorials
Language:Lean0 0
Invisible-Rabbit-Hunter/vscode-hie-server
VsCode extension for Haskell, as a front end for haskell-ide-engine
Language:TypeScript1 0
Invisible-Rabbit-Hunter/vscode-language-fstar
Visual Studio Code syntax highlighting for F*.
1 11
Invisible-Rabbit-Hunter/vty
A high-level ncurses alternative written in Haskell
Language:Haskell1 0
Invisible-Rabbit-Hunter/win32-console
Haskell bindings to the Win32 console API
Language:Haskell1 0