Pinned Repositories
Skrp
Stødig Kommunikasjon, Reaktiv Protokoll
AdventOfCode
AdventOfCode stuff
Christopher-Bot
General purpose discord bot made with the discord.py library
coding-test
Online coding test
dotfiles
Personal configuration files
DraftGen
An MTG booster pack generator for Tabletop Simulator.
GameOfLife
Game of life implementation in Haskell with GUI
lastpass-tui
Lastpass terminal user interface
Myopia
A simple rogue like game built using SDL and Haskell
twitch-blame
Integrated code backseating in emacs while streaming on twitch
skykanin's Repositories
skykanin/Myopia
A simple rogue like game built using SDL and Haskell
skykanin/dotfiles
Personal configuration files
skykanin/DraftGen
An MTG booster pack generator for Tabletop Simulator.
skykanin/kolide-launcher
Osquery launcher, autoupdater, and packager
skykanin/AOC
Advent of code
skykanin/blog
Personal blog
skykanin/botan
Low-level bindings for Botan
skykanin/bqnpad
Online REPL for BQN
skykanin/dodge-god
skykanin/doomemacs
An Emacs framework for the stubborn martian hacker
skykanin/double-snake
Snake game with two snakes to control instead of one. Double the fun!
skykanin/effects
An effects system based on freer monads in Idris
skykanin/eglot
A client for Language Server Protocol servers
skykanin/eglot-auto-import-code-action-broken
Repro for missing auto-import code actions bug in eglot
skykanin/elcord
Discord Rich Presence / Gamebridge support for Emacs!
skykanin/hpqtypes-effectful
Effectful bindings for hpqtypes
skykanin/Idris2
A purely functional programming language with first class types
skykanin/linguist
Language Savant. If your repository's language is being reported incorrectly, send us a pull request!
skykanin/lsp-bridge
A blazingly fast LSP client for Emacs
skykanin/MC-Status-Discord-Bot
Checks status of MC servers
skykanin/micronaut-openapi-bug-repro
Repro for micronaut-openapi bug
skykanin/movies
skykanin/nixpkgs
Nix Packages collection
skykanin/sdl2-gfx
Haskell bindings to SDL2_gfx.
skykanin/skykanin.github.io
https://skykanin.github.io
skykanin/SudokuSolver
Sudoku solver in clojurescript using reagent for visualisation and core.logic for the logic
skykanin/templates
Nix flake templates
skykanin/the-algorithm
Source code for Twitter's Recommendation Algorithm
skykanin/tldr
📚 Collaborative cheatsheets for console commands
skykanin/uiua-mode
Emacs mode for uiua, a stack-based array language