🏠
Working from home
Entrepreneur, Functional Programmer, & Systems Operator
-
Independent
- Nearby
Popular repositories Loading
-
nanomsg-examples
nanomsg-examples PublicExamples of different message types in C with nanomsg
-
-
-
lfe-otp-ping-pong
lfe-otp-ping-pong PublicA Simple Example of Using LFE (Lisp Flavoured Erlang) for Erlang OTP code
-
agda-haskell-c-ffi-layer-cake
agda-haskell-c-ffi-layer-cake PublicDemostration of FFI from Agda -> Haskell -> C in one project
Haskell 11
15 contributions in the last year
Day of Week | April Apr | May May | June Jun | July Jul | August Aug | September Sep | October Oct | November Nov | December Dec | January Jan | February Feb | March Mar | April Apr | ||||||||||||||||||||||||||||||||||||||||
Sunday Sun | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Monday Mon | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Tuesday Tue | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Wednesday Wed | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Thursday Thu | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Friday Fri | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Saturday Sat |
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More
Contribution activity
April 2025
Created 2 repositories
-
dysinger/org
This contribution was made on Apr 8
-
dysinger/regolith-nix
Nix
This contribution was made on Apr 5
Created a pull request in sandptel/regolith-nix that received 1 comment
format with nixpkgs-fmt to be compat with nixpkgs
establishing a baseline so that I can help with the project without conflicts: format all the nix code with the standard nixpkgs-fmt used with nixpkgs
+477
−434
lines changed
•
1
comment