Hakerh400

atom

:atom: The hackable text editor

tdesktop

Telegram Desktop messaging app

zulip

Zulip server and web application. Open-source team chat that helps teams stay productive and focused.

MathJax

Beautiful and accessible math in all browsers

movfuscator

The single instruction C compiler

jsfuck

Write any JavaScript with 6 Characters: []()!+

min

A fast, minimal browser that protects your privacy

lean4

Lean 4 programming language and theorem prover

LibgenDesktop

chrome-tabs

Chrome-style tabs in HTML/CSS.

mathlib

Lean 3's obsolete mathematical components library: please use mathlib4

rcedit

Command line tool to edit resources of exe

cvc5

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

vscode-custom-css

Custom CSS Plugin for Visual Studio Code. Based on vscode-icon

cryptominisat

An advanced SAT solver

lean

Lean 3 Theorem Prover (community fork)

qpixel

Q&A-based community knowledge-sharing software

haddock

Haskell Documentation Tool

language-javascript

JavaScript language package for Atom

puzzles

Simon Tatham's Portable Puzzle Collection

Enigma

Enigma is a puzzle game inspired by Oxyd on the Atari ST and Rock'n'Roll on the Amiga. The object of the game is to find uncover pairs of identically colored Oxyd stones. Simple? Yes. Easy? Certainly not! Hidden traps, vast mazes, laser beams, and, most of all, countless hairy puzzles usually block your direct way to the Oxyd stones …

LibgenServer

readme-chess

♟️ Play Multiplayer Chess in a README file!

language-haskell

Haskell language support for Atom

Game-Dangerous

A 3D game engine written in Haskell and OpenGL Shading Language. The goal is to make a 3D tribute to ZZT, including a game creation system.

set-monad

Set monad

video-resources

Resources to look at in concert with my Haskell videos

haskell-brainfuck

Haskel brainfuck interpreter

atom-keyboard-scroll

:atom: Scroll like a boss (with your keyboard)

zot_haskell