Pinned Repositories
acid-rain
Character-based factory simulation game
bedrock-ui-tweaks
Small UI tweaks for Minecraft Bedrock
bitstream
Fast, packed, strict and lazy bit streams for Haskell with stream fusion
Fang-of-Mongo
web based gui for mongodb created with pyhon, django and jquery.
HsOpenSSL
OpenSSL binding for Haskell
natural-mystic-shaders
Shader pack for Minecraft Bedrock aliming to be as realistic as possible
netherlink
Web app to plan nether portal setups in Minecraft
pkgchkxx
Complete rewrite of pkg_chk and pkg_rolling-replace from pkgsrc
quick-mining
Allow MCBE players to mine the entire ore veins, trees, and more
slime-finder-pe
Web app to visualize slime chunks in MCPE
depressed-pho's Repositories
depressed-pho/slime-finder-pe
Web app to visualize slime chunks in MCPE
depressed-pho/bitstream
Fast, packed, strict and lazy bit streams for Haskell with stream fusion
depressed-pho/acid-rain
Character-based factory simulation game
depressed-pho/bedrock-ui-tweaks
Small UI tweaks for Minecraft Bedrock
depressed-pho/netherlink
Web app to plan nether portal setups in Minecraft
depressed-pho/pkgchkxx
Complete rewrite of pkg_chk and pkg_rolling-replace from pkgsrc
depressed-pho/quick-mining
Allow MCBE players to mine the entire ore veins, trees, and more
depressed-pho/cicada-lib
Library that improves Minecraft Bedrock Scripting API
depressed-pho/pkgsrc-haskell-utils
Collection of shell scripts to help maintaining Haskell packages in pkgsrc
depressed-pho/andries-brouwers-hack-wiki
Andries Brouwer's Hack Wiki
depressed-pho/better-niconico-report
Firefox extension for providing a better experience with Niconico Report
depressed-pho/cabal
Official upstream development repository for Cabal and cabal-install
depressed-pho/cicada-build
Build system for Minecraft Bedrock addons based on Gulp
depressed-pho/criterion
A powerful but simple library for measuring the performance of Haskell code.
depressed-pho/crypton-certificate
Certificate and Key Reader/Writer in haskell
depressed-pho/haddock
Haskell Documentation Tool
depressed-pho/hinotify
Haskell binding to inotify
depressed-pho/Idris2
A purely functional programming language with first class types
depressed-pho/mold
mold: A Modern Linker
depressed-pho/native_messenger
WIP native messenger for Tridactyl, a vim-like web-extension.
depressed-pho/netbsd-src
Automatic conversion of the NetBSD src CVS module, use with care. Please submit bugs/changes via https://gnats.netbsd.org
depressed-pho/Nim
Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).
depressed-pho/process
Library for dealing with system processes
depressed-pho/rust-web-push
A Web Push library for Rust
depressed-pho/scripting-capability-probe
Inspects the capability of the JavaScript engine that is accessible through the Scripting API.
depressed-pho/shake
Shake build system
depressed-pho/terminfo
Haskell bindings to the terminfo API.
depressed-pho/types-minecraft__common
TypeScript definitions for @minecraft/common
depressed-pho/types-minecraft__server
TypeScript definitions for @minecraft/server
depressed-pho/types-minecraft__server-ui
TypeScript definitions for @minecraft/server-ui