Pinned Repositories
Activity-Monitor
Activity monitoring logger background tool in Windows Operation System in C#.
Arch-Aurora-Borealis-Startscreen
Animated SDDM-Theme and Splashscreen for Archlinux
archimedes-ships
Archimedes' Ships Minecraft mod
arugio
a bevy multiplayer browser game example
astdot
Prints a dot graph of a nim ast dumped using the `dumpTree` macro.
avr-arduino-zig
Arduino using Zig!
bevy_web_fullscreen
full-viewport plugin for bevy on the web
effectful
An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.
fabric-example-mod
Example Fabric mod
generic-trie
Generic tries using std's hashmap types for branching.
hugh-fox's Repositories
hugh-fox/astdot
Prints a dot graph of a nim ast dumped using the `dumpTree` macro.
hugh-fox/archimedes-ships
Archimedes' Ships Minecraft mod
hugh-fox/arugio
a bevy multiplayer browser game example
hugh-fox/avr-arduino-zig
Arduino using Zig!
hugh-fox/bevy_web_fullscreen
full-viewport plugin for bevy on the web
hugh-fox/effectful
An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.
hugh-fox/fabric-example-mod
Example Fabric mod
hugh-fox/generic-trie
Generic tries using std's hashmap types for branching.
hugh-fox/lean4beginners
Code for the lean4beginners youtube series.
hugh-fox/Sifu
A concatenative, pattern-match oriented language based on tries.
hugh-fox/http-client
An HTTP client engine, intended as a base layer for more user-friendly packages.
hugh-fox/IntermediateLean
Examples of common proof techniques leveraging Mathlib.
hugh-fox/L7S-Rich-Presence
hugh-fox/L7S-Rich-Presence-IPC
hugh-fox/mathlib4
The math library of Lean 4
hugh-fox/oak
hugh-fox/packages
List of packages for Nimble
hugh-fox/ptghci
High-powered REPL for Haskell, inspired by IPython
hugh-fox/purescript-apexcharts
Purescript bindings for apexcharts.js (https://apexcharts.com)
hugh-fox/purescript-indexed-nonempty
hugh-fox/purescript-phaser
Phaser 3 bindings for PureScript.
hugh-fox/purescript-stats
Statistics in PureScript
hugh-fox/script-monad
Stack of error, reader, writer, state, and prompt monad transformers
hugh-fox/snow
A simple snowflake simulator.
hugh-fox/Tree-Sitter-Sifu
The Tree Sitter grammar and parser for the Sifu programming langauge, with Zig bindings.
hugh-fox/vscode-idris
Idris for Visual Studio Code
hugh-fox/zig-aima
hugh-fox/zig-string
Strings for Zig
hugh-fox/zig_learn_opengl
Follow the Learn-OpenGL book using Zig
hugh-fox/ZigKernelModule
A simple kernel hello world module using zig.