kress95

gamux

Game management with plugins, unicorns and shit. Integrated with steam by default.

elm-review-indirect-internal

Block indirect imports to internal modules.

js-guidelines

Guidelines for a "javascript bullshit free" development.

prelude

Use purifree instead. A base library for functional programming in deno.

HEBorn

kress95.github.io

dotfiles

My dotfiles (and desktop configs)

myarch

My archlinux packages list, stored here to help with system maintenance.

abstract-algorithm

Optimal evaluator of λ-calculus terms.

banking

calculus-of-constructions

Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.

carrot

ON HOLD, see https://github.com/garnet-lang

comeonin

Password hashing specification for the Elixir programming language

elm-review-config

Paack's elm-review configuration

emacs-config

My configuration for Doom Emacs

HEBornMigration

Small website to provide HE1 players a call-to-action to migrate their accounts to HEBorn

Helix

itlab

lighttable-elixir

Light Table plugin for Elixir, currently only wrapper around https://github.com/thmzlt/codemirror-elixir-mode

lisp.lua

self hosted lisp for lua

lumen

A Lisp for Lua and JavaScript

markdown-licenses

A collection of open source licenses in Markdown format. Contributions are always welcome!

pointfree.io

A web site for converting haskell code into pointfree haskell code

purifree

Pointfree type-safe functional programming library for TypeScript - with do notation, HKTs, generic lifts and more

random-pcg-extra

Use the original package, elm is already using pcg algorithms in its stdlib.

tewi-font

small bitmap font

urn

Yet another Lisp variant which compiles to Lua

zim

ZIM - fork with a lambda theme