Jonathan Osser's repositories
terminal_devrant
A devRant viewer in the terminal.
devrant-haskell
Unofficial devRant haskell api
agda.nvim
NeoVim plugin for interacting with Agda written in Lua
c-sharp-6-for-programmers
C# 6 for programmers thing
CCC-Semantics
CCC Semantics of lambda calculus in Lean4
cubical
An experimental library for Cubical Agda
DA3018-Datalogi
Labs for DA3018 - Datalogi
dex-lang
Research language for array processing in the Haskell/ML family
evince-synctex.nvim
Evince forward and backward search for neovim, using dbus directly.
haskell-ide-engine
The engine for haskell ide-integration. Not an IDE
hott-ordinals
An implementation of ordinals Ă la the HoTT book.
idris-package-manager
An idris package manager
latex-homework-class
A class for homework assignments written in LaTeX.
Odin
Odin Programming Language
prezto
The configuration framework for Zsh
profunctor-lens
A simple implementation of profunctor optics.
purescript-comonad-ui-todos
Simple task management application for my bachelor thesis based on Phil Freeman's Comonads as spaces
reactive-banana
Library for functional reactive programming in Haskell.
sdl2
Haskell bindings to the SDL2 library
supernerd11.github.io
My pages
tutorials
Some Lean tutorials
vscode-hie-server
VsCode extension for Haskell, as a front end for haskell-ide-engine
vscode-language-fstar
Visual Studio Code syntax highlighting for F*.
win32-console
Haskell bindings to the Win32 console API