alexoundos Goto Github PK

aws-sam-translator-app

Nix flake for aws-sam-translator application.

base32-bytestring

Efficient base32 codec for bytestrings.

blender.github.io

A responsive Jekyll theme with clean typography and support for large full page images.

bwapi

Brood War API

bwdi

Git mirror of the BWDI svn repo

bwdi-scratch

An implementation of BWDI starting from scratch

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

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)

elm-form-examples

elm-offline

Offline Elm development!

evdev-debounce-buggy-mouse

The patch to evdev library to debounce fix the double clicks of broken mouse buttons

example-io-mock

ffmpeg

mirror of git://source.ffmpeg.org/ffmpeg.git

ffmpeg-light

Minimal Haskell bindings to the FFmpeg library

flakes

My Nix flakes

frp-arduino

Arduino programming without the hassle of C.

gamgee

A command-line replacement for the Google Authenticator App

geany

A fast and lightweight IDE

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.

hs-knowledge

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

hspark

A port of Apache Sparks to Haskell using distributed process

janus-connector

Haskell implementation of Janus SIP Gateway client using Websocket transport

janus-gateway

Janus WebRTC Server

langums

Programming language and compiler for StarCraft: Brood War custom (UMS) maps

livestreamer

Command-line utility that extracts streams from various services and pipes them into a video player of choice.