isti115/agda.nvim isti115/agda.nvim

  • Stars
    star
    14
  • Rank 1,438,076 (Top 29 %)
  • Language
    Lua
  • Created about 3 years ago
  • Updated almost 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
isti115/agda.nvim
github

isti115

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

NeoVim plugin for interacting with Agda written in Lua

More Repositories

1

BlenderRenderController

A rendering manager for blender. (For rendering a project in parts and stitching them together.)
C#
29
star
2

dotfiles

Emacs Lisp
3
star
3

youtube-livestream-health-monitor-discord-notifier

A simple quick and dirty python application to monitor the health data of a youtube livestream through Google's API and report changes in its status to a discord group.
Python
1
star
4

MultiScreenCanvas

A canvas stretching over multiple screens on multiple computers.
JavaScript
1
star
5

FreelancerAnimation

A freelancer project done just to test my skills.
JavaScript
1
star
6

budaorsi-antiochia-dalgyujtemeny

A Budaörsi Nepomuki Szent János Antiochia számára készült daloskönyv.
TeX
1
star
7

WebSnake

Snake game written in javascript and rendered on a canvas.
JavaScript
1
star
8

eszti-isti.donko.hu

Vue
1
star
9

isti115.github.io

JavaScript
1
star
10

canvas-components

JavaScript
1
star
11

SetBot

Bot for the android version of the set card game
C#
1
star
12

haskell-dijkstra

An implementation of Dijkstra's algorithm in Haskell, that is probably not very efficient, but in my opinion easily readable.
Haskell
1
star