Pinned Repositories
elm-file-upload
Example how to upload files with elm 0.19 (taken from https://www.paramander.com/blog/using-ports-to-deal-with-files-in-elm-0-17)
haskell-aws-lambda-sam-nix
haskell-stack-mirror-script
Bash script that downloads a full set of available stack and hackage resources ready to be mirrored offline.
mirror-hackage
download all hackage packages (including metadata/cabal revisions) ready to be served with http server
mirror-nix
mirror Nix binary cache for the offline workflow
mpv-cut
MPV plugin for cutting pieces of media file specified with start/end timestamps via keybindings
Snipealot-LQ-Restream-Bot
Python IRC bot for restreaming afreeca Brood War streamers to twitch.
AleXoundOS's Repositories
AleXoundOS/mirror-nix
mirror Nix binary cache for the offline workflow
AleXoundOS/mirror-hackage
download all hackage packages (including metadata/cabal revisions) ready to be served with http server
AleXoundOS/haskell-aws-lambda-sam-nix
AleXoundOS/aws-sam-translator-app
Nix flake for aws-sam-translator application.
AleXoundOS/bwhf
StarCraft BroodWar Hacker Finder, anti-hack, replay analyzer-organizer and utility tool
AleXoundOS/cabal-buildinfo-example
using a CPP definition in haskell code, generated (in .buildinfo) by a configure script
AleXoundOS/cascbridge
http file server and UI for casclib
AleXoundOS/doc.rustdesk.com
Document of RustDesk
AleXoundOS/elm-animated-button
Pure elm animated button on mouse up using elm-css
AleXoundOS/flakes
My Nix flakes
AleXoundOS/gamgee
A command-line replacement for the Google Authenticator App
AleXoundOS/hs-knowledge
A library written in Haskell that determines whether a logical argument is valid through either Model Checking or DPLL Algorithm
AleXoundOS/janus-gateway
Janus WebRTC Server
AleXoundOS/minimal-nixos-test-flake
Very minimal NixOS Test flake (run `nix flake check -L`).
AleXoundOS/model-checking
A model checking tutorial, written in literate Haskell
AleXoundOS/nginx-rtmp-module
NGINX-based Media Streaming Server
AleXoundOS/nginx-ts-module
NGINX MPEG-TS Live Module
AleXoundOS/nix-direnv-cabal-template
issue
AleXoundOS/nixpkgs
Nix Packages collection
AleXoundOS/openbw
OpenBW - free and open-source Best Wargame
AleXoundOS/rbsc
Probabilistic model checking of role-based systems
AleXoundOS/roskell
Rogue-like in Haskell
AleXoundOS/screp
StarCraft - Brood War replay parser
AleXoundOS/sfArkLib
Original library for SoundFont compression
AleXoundOS/sfarkxtc
Basic sfArk decompressor
AleXoundOS/ShieldBattery
The modern way to play StarCraft: Brood War.
AleXoundOS/SMCDEL
A symbolic model checker for Dynamic Epistemic Logic.
AleXoundOS/StarData
Starcraft AI Research Dataset
AleXoundOS/telega.el
GNU Emacs telegram client (unofficial)
AleXoundOS/virtual_gamepad
You sometimes need to convince a video game that you own a gamepad...