Hakerh400

lean4

Lean 4 programming language and theorem prover

vscode-custom-css

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

lean

Lean 3 Theorem Prover (community fork)

mathlib3

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

video-resources

Resources to look at in concert with my Haskell videos

jsfuck

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

rcedit

Command line tool to edit resources of exe

min

A fast, minimal browser that protects your privacy

tdesktop

Telegram Desktop messaging app

language-javascript

JavaScript language package for Atom

atom-keyboard-scroll

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

readme-chess

♟️ Play Multiplayer Chess in a README file!

language-haskell

Haskell language support for Atom

atom

:atom: The hackable text editor

chrome-tabs

Chrome-style tabs in HTML/CSS.

zulip

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

cvc5

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

movfuscator

The single instruction C compiler

cryptominisat

An advanced SAT solver

puzzles

Simon Tatham's Portable Puzzle Collection

qpixel

Q&A-based community knowledge-sharing software

LibgenServer

LibgenDesktop

set-monad

Set monad

haddock

Haskell Documentation Tool

haskell-brainfuck

Haskel brainfuck interpreter

zot_haskell

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.

MathJax

Beautiful and accessible math in all browsers

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 …