xicesky Goto Github PK

boolean-algebra

A library for handling boolean algebra in Haskell

bug-in-maven-jar-plugin

Minimal maven project to trigger a bug in maven-jar-plugin

ddns

Helper scripts for updating a dynamic DNS via nsupdate.

debdroid

This wants to be a complete "GNU make"-driven environment for installing debian on android when (if) it (ever) grows up.

decidable

Combinators for manipulating dependently-typed predicates.

dotfiles

Personal settings and stuff

functor-products

Generalized functor products based on lifted foldables

genpassword

Password generator

haskell-playground

Playground for Haskell experiments.

idris2-devcontainer

vscode devcontainer for idris2

idris2-stuff

WIP working with idris2 (and java)

lms-robot-inventor-project-template

Project template for LEGO Mindstorms Robot Inventor

mazgen

A very simple maze generator in Java

minecraft-overviewer-scripts

Simple script to run a one-off render on a rented cloud server.

moo

Genetic algorithm library for Haskell. Binary and continuous (real-coded) GAs. Binary GAs: binary and Gray encoding; point mutation; one-point, two-point, and uniform crossover. Continuous GAs: Gaussian mutation; BLX-α, UNDX, and SBX crossover. Selection operators: roulette, tournament, and stochastic universal sampling (SUS); with optional niching, ranking, and scaling. Replacement strategies: generational with elitism and steady state. Constrained optimization: random constrained initialization, death penalty, constrained selection without a penalty function. Multi-objective optimization: NSGA-II and constrained NSGA-II.

musicbox

namingscheme

PHP tool for naming tv show files

node_hashmap

Hashing, HashMap, LinkedHashMap for node js

project-euler-fibonacci

Just for fun: solving https://projecteuler.net/problem=2

repository-template

A basic template for a new repo

sdlaudiosynth

An old project where i experimented with SDL audio

sky-haskell-playground

Playground for Haskell experiments.

sky-lambda

Untyped lambda calculus in Haskell

sky-utils

teamcity-unscrambler

Decrypt "scrambled" passwords from any TeamCity server

tilestache

A stylish alternative for caching your map tiles.

typelevel-experiments

Playing around with 300 GHC extensions is fun.

vagrant-basebox-debian

A simple debian base box with my standard utilities

vagrant-devbox

valhalla-docker

Dockerfile for Mapzen's Valhalla router