Pinned Repositories
base32-bytestring
Efficient base32 codec for bytestrings.
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/haskell-stack-mirror-script
Bash script that downloads a full set of available stack and hackage resources ready to be mirrored offline.
AleXoundOS/base32-bytestring
Efficient base32 codec for bytestrings.
AleXoundOS/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)
AleXoundOS/mirror-hackage
download all hackage packages (including metadata/cabal revisions) ready to be served with http server
AleXoundOS/blender.github.io
A responsive Jekyll theme with clean typography and support for large full page images.
AleXoundOS/elm-form-examples
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-connector
Haskell implementation of Janus SIP Gateway client using Websocket transport
AleXoundOS/langums
Programming language and compiler for StarCraft: Brood War custom (UMS) maps
AleXoundOS/nanopi-neo2-nixos-image-fix
Fix for stock aarch64 NixOS image for booting on NanoPi Neo 2.
AleXoundOS/nixos-nanopi-neo2-config
AleXoundOS/rtl8188gu
This repo contains a Linux driver for the RTL8188GU
AleXoundOS/elm-animated-button
Pure elm animated button on mouse up using elm-css
AleXoundOS/elm-offline
Offline Elm development!
AleXoundOS/evdev-debounce-buggy-mouse
The patch to evdev library to debounce fix the double clicks of broken mouse buttons
AleXoundOS/example-io-mock
AleXoundOS/modelcheck
Model checking algorithms for logics over transition systems
AleXoundOS/nginx-rtmp-module
NGINX-based Media Streaming Server
AleXoundOS/nginx-ts-module
NGINX MPEG-TS Live Module
AleXoundOS/OlegZ-arduino-help
AleXoundOS/rbsc
Probabilistic model checking of role-based systems
AleXoundOS/ruhaskell
Главный сайт сообщества
AleXoundOS/sequoia
🌳 a monadic FRP game library for haskell
AleXoundOS/servant-multipart
Support for file uploads in multipart/form-data for servant
AleXoundOS/ShieldBattery
The modern way to play StarCraft: Brood War.
AleXoundOS/SMCSML
A model checking tool for sabotage model logic(s)
AleXoundOS/toc-org
toc-org is an Emacs utility to have an up-to-date table of contents in the org files without exporting (useful primarily for readme files on GitHub)
AleXoundOS/typecraft
:star: it's a starcraft clone but with a dope typesystem
AleXoundOS/usb-example
Example how to use the usb library