Pinned Repositories
dotfiles
Personal settings and stuff
debdroid
This wants to be a complete "GNU make"-driven environment for installing debian on android when (if) it (ever) grows up.
musicbox
boolean-algebra
A library for handling boolean algebra in Haskell
ddns
Helper scripts for updating a dynamic DNS via nsupdate.
mazgen
A very simple maze generator in Java
node_hashmap
Hashing, HashMap, LinkedHashMap for node js
bug-in-maven-jar-plugin
Minimal maven project to trigger a bug in maven-jar-plugin
decidable
Combinators for manipulating dependently-typed predicates.
xicesky's Repositories
xicesky/dotfiles
Personal settings and stuff
xicesky/learning-rust
Just learning some rust.
xicesky/mazgen
A very simple maze generator in Java
xicesky/idris2-stuff
WIP working with idris2 (and java)
xicesky/repository-template
A basic template for a new repo
xicesky/idris2-devcontainer
vscode devcontainer for idris2
xicesky/minecraft-overviewer-scripts
Simple script to run a one-off render on a rented cloud server.
xicesky/teamcity-unscrambler
Decrypt "scrambled" passwords from any TeamCity server
xicesky/bug-in-maven-jar-plugin
Minimal maven project to trigger a bug in maven-jar-plugin
xicesky/lms-robot-inventor-project-template
Project template for LEGO Mindstorms Robot Inventor
xicesky/boolean-algebra
A library for handling boolean algebra in Haskell
xicesky/haskell-playground
Playground for Haskell experiments.
xicesky/sky-haskell-playground
Playground for Haskell experiments.
xicesky/typelevel-experiments
Playing around with 300 GHC extensions is fun.
xicesky/sky-lambda
Untyped lambda calculus in Haskell
xicesky/sky-utils
xicesky/project-euler-fibonacci
Just for fun: solving https://projecteuler.net/problem=2
xicesky/functor-products
Generalized functor products based on lifted foldables
xicesky/decidable
Combinators for manipulating dependently-typed predicates.
xicesky/SDLAudioSynth
An old project where i experimented with SDL audio
xicesky/vagrant-basebox-debian
A simple debian base box with my standard utilities
xicesky/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.
xicesky/node_hashmap
Hashing, HashMap, LinkedHashMap for node js
xicesky/vagrant-devbox
xicesky/valhalla-docker
Dockerfile for Mapzen's Valhalla router
xicesky/TileStache
A stylish alternative for caching your map tiles.
xicesky/musicbox
xicesky/genpassword
Password generator
xicesky/namingscheme
PHP tool for naming tv show files
xicesky/debdroid
This wants to be a complete "GNU make"-driven environment for installing debian on android when (if) it (ever) grows up.