This website requires JavaScript.
Explore
Help
Register
Sign In
georgefst
0 Followers
·
0 Following
Joined on
2025-09-02
Block a user
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.
User to block:
Optional note:
The note is not visible to the blocked user.
Cancel
Block
Repositories
Projects
Packages
Public Activity
Starred Repositories
georgefst
pushed to
master
at
patrickaldis/geolog-lsp
2026-03-03 11:28:19 +00:00
f87a3b72dd
wipp
8dc5cd3c17
format
Compare 2 commits »
georgefst
pushed to
master
at
patrickaldis/geolog-lsp
2026-03-02 17:22:21 +00:00
42655b90f5
wip - have fun
bd080c37aa
Use unidirectional pattern synonym
a1a8f1c6f4
Refactor to add metadata
Compare 3 commits »
georgefst
pushed to
main
at
patrickaldis/garnet
2026-02-20 09:54:51 +00:00
a018cc389a
Generate header in Rust build output directory
georgefst
pushed to
th-record-dot
at
patrickaldis/garnet
2026-02-20 09:09:17 +00:00
5aa0cdc38d
try using record dots with TH
georgefst
created branch
th-record-dot
in
patrickaldis/garnet
2026-02-20 09:09:17 +00:00
georgefst
pushed to
main
at
patrickaldis/garnet
2026-02-20 09:08:38 +00:00
96ec5c1cb1
Switch to Template Haskell mode for
hs-bindgen
20b47594c6
Avoid IO for tree sum
71e4ffaede
Make Rust tree type polymorphic
58005ee261
Refactor to use continuation monad
ca063b1dd6
Rename tree types
Compare 8 commits »
georgefst
pushed to
main
at
patrickaldis/garnet
2026-02-19 17:23:31 +00:00
2a80e5b219
Minor simplification
e977181252
Avoid typedefs
9ca4f615d8
Use simpler tagged union translation
5019af701f
Mark pure function
5907a064a7
Use fixed-width integers
Compare 5 commits »
georgefst
pushed to
main
at
patrickaldis/garnet
2026-02-19 16:31:23 +00:00
5d2ba1a217
Minor simplification
528cf7b8d7
Avoid typedefs
cb05afc21d
Use simpler tagged union translation
604bc8cf2f
Mark pure function
6468f15d73
Use fixed-width integers
Compare 21 commits »
georgefst
pushed to
main
at
patrickaldis/garnet
2026-02-19 14:23:39 +00:00
569fae5d32
Move Haskell package to top level
dba9dbfc78
Rename Haskell.nix flake input
738315da88
Bump flake inputs
4606c040f8
Reformat
f539fe609a
Refactor Nix flake inputs
Compare 19 commits »
georgefst
pushed to
main
at
patrickaldis/garnet
2026-02-19 11:35:00 +00:00
24359a519c
more LLVM
georgefst
pushed to
main
at
patrickaldis/garnet
2026-02-19 11:33:19 +00:00
aa05650ec8
add LLVM lib
georgefst
pushed to
main
at
patrickaldis/garnet
2026-02-19 11:21:45 +00:00
34ce6078ba
wip
georgefst
pushed to
main
at
patrickaldis/garnet
2026-02-19 11:16:04 +00:00
e53fb108f4
Simplify use sites by passing by value
14ef0237cb
Use ByteString
96daf482ca
Add more complex data types
ad78170066
Expose explicit C interface
b1d8b6e1bf
Move Haskell executable in to subdirectory
Compare 8 commits »
