AleXoundOS

mirror-nix

mirror Nix binary cache for the offline workflow

mirror-hackage

download all hackage packages (including metadata/cabal revisions) ready to be served with http server

haskell-aws-lambda-sam-nix

aws-sam-translator-app

Nix flake for aws-sam-translator application.

bwhf

StarCraft BroodWar Hacker Finder, anti-hack, replay analyzer-organizer and utility tool

cabal-buildinfo-example

using a CPP definition in haskell code, generated (in .buildinfo) by a configure script

cascbridge

http file server and UI for casclib

doc.rustdesk.com

Document of RustDesk

elm-animated-button

Pure elm animated button on mouse up using elm-css

flakes

My Nix flakes

gamgee

A command-line replacement for the Google Authenticator App

hs-knowledge

A library written in Haskell that determines whether a logical argument is valid through either Model Checking or DPLL Algorithm

janus-gateway

Janus WebRTC Server

minimal-nixos-test-flake

Very minimal NixOS Test flake (run `nix flake check -L`).

model-checking

A model checking tutorial, written in literate Haskell

nginx-rtmp-module

NGINX-based Media Streaming Server

nginx-ts-module

NGINX MPEG-TS Live Module

nix-direnv-cabal-template

issue

nixpkgs

Nix Packages collection

openbw

OpenBW - free and open-source Best Wargame

rbsc

Probabilistic model checking of role-based systems

roskell

Rogue-like in Haskell

screp

StarCraft - Brood War replay parser

sfArkLib

Original library for SoundFont compression

sfarkxtc

Basic sfArk decompressor

ShieldBattery

The modern way to play StarCraft: Brood War.

SMCDEL

A symbolic model checker for Dynamic Epistemic Logic.

StarData

Starcraft AI Research Dataset

telega.el

GNU Emacs telegram client (unofficial)

virtual_gamepad

You sometimes need to convince a video game that you own a gamepad...