isti115 Goto Github PK

7-wonders-neat-ai

agda

Agda is a dependently typed programming language / interactive theorem prover.

agda-stdlib

The Agda standard library

agda-vim

Agda interaction in vim

agda.nvim

NeoVim plugin for interacting with Agda written in Lua

ballpathguess

A game of memory written for the love2d framework, where you need to guess the path of a ball.

bitwig-launchpad

Controller Script that connects Novation Launchpads to Bitwig

bkk-futar-custom-dashboard

blenderrendercontroller

A rendering manager for blender. (For rendering a project in parts and stitching them together.)

bluetuith

bsc-szakdolgozat

ELTE IK Programtervező Informatikus BSc szakdolgozat (2018)

bubblepop

BubblePop game for Firefox OS

budaorsi-antiochia-dalgyujtemeny

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

canvas-components

circle_test

A simple canvas circle test.

compiler

Compiler for Elm, a functional language for reliable webapps.

crossword-solver

css-diner

CSS Diner

curvesonline

Online curve mania (multiplayer)

dark-mode-toggle

A custom element that allows you to easily put a Dark Mode 🌒 toggle or switch on your site:

dbus-native

D-bus protocol client and server for node.js written in native javascript

ddps-visualization

Visualization system for distributed data processing systems

definitelytyped

The repository for high quality TypeScript type definitions.

directory_tree_viewer

Simple application for saving directory structures, and then later browsing them.

dotfiles

dovydas

downfall-board-game

Downfall Board Game in Elm

dusty-plasma-molecular-dynamics

efm-langserver

General purpose Language Server

efmls-configs-nvim

An unofficial collection of linters and formatters configured for efm-langserver for neovim.