isti115
Been programming since 12 yo, I really like the web for it's portability and strong typesystems for their expressiveness. Currently doing PhD in CompSci@ELTE.
@collmot @skybrush-io Budaörs
Pinned Repositories
agda.nvim
NeoVim plugin for interacting with Agda written in Lua
BlenderRenderController
A rendering manager for blender. (For rendering a project in parts and stitching them together.)
budaorsi-antiochia-dalgyujtemeny
A Budaörsi Nepomuki Szent János Antiochia számára készült daloskönyv.
dotfiles
SetBot
Bot for the android version of the set card game
live
An open-source drone show and drone swarm ground control station GUI frontend
isti115's Repositories
isti115/agda.nvim
NeoVim plugin for interacting with Agda written in Lua
isti115/dotfiles
isti115/framework-laptop-13-keycap
isti115/dark-mode-toggle
A custom element that allows you to easily put a Dark Mode 🌒 toggle or switch on your site:
isti115/DefinitelyTyped
The repository for high quality TypeScript type definitions.
isti115/dovydas
isti115/efm-langserver
General purpose Language Server
isti115/efmls-configs-nvim
An unofficial collection of linters and formatters configured for efm-langserver for neovim.
isti115/electron-builder
A complete solution to package and build a ready for distribution Electron app with “auto update” support out of the box
isti115/flockwave-spec
Specification of the communication protocol between Skybrush server and clients
isti115/Hyprland
Hyprland is a highly customizable dynamic tiling Wayland compositor that doesn't sacrifice on its looks.
isti115/kanata
Improve keyboard comfort and usability with advanced customization
isti115/lazygit
simple terminal UI for git commands
isti115/LazyVim
Neovim config for the lazy
isti115/libxkbcommon
keymap handling library for toolkits and window systems
isti115/mixing-station-docs
Official documentation for the App "Mixing Station"
isti115/nixpkgs
Nix Packages collection
isti115/node
Node.js JavaScript runtime ✨🐢🚀✨
isti115/nushell.github.io
Nushell's main website, blog, book, and more
isti115/openlayers
OpenLayers
isti115/river
A dynamic tiling Wayland compositor
isti115/skybrush-live
An open-source drone show software - GUI frontend
isti115/studio-blender-translations
Translations for the Skybrush Studio for Blender add-on
isti115/tsx
⚡️ TypeScript Execute: Node.js enhanced to run TypeScript & ESM
isti115/turf
A modular geospatial engine written in JavaScript and TypeScript
isti115/typescript-eslint
:sparkles: Monorepo for all the tooling which enables ESLint to support TypeScript
isti115/veggero.github.io
The website at nicco.love
isti115/xdg-desktop-portal
Desktop integration portal
isti115/yazi
💥 Blazing fast terminal file manager written in Rust, based on async I/O.
isti115/zellij
A terminal workspace with batteries included