More
Functional Programming Enthusiast.
I'm interested in:
- Functional Programming
- Logico-mathematical structures of programming
- Formal Verification
- Kobe, Japan
More
Pinned Loading
-
purescript-halogen-router
purescript-halogen-router PublicRouting management for Halogen
-
-
purescript-halogen-helix
purescript-halogen-helix PublicLightweight global state management for PureScript Halogen using halogen-hooks.
-
purescript-record-optional-fields
purescript-record-optional-fields PublicOptional field manipulation for PureScript Record tyope
PureScript
378 contributions in the last year
Day of Week | February Feb | March Mar | April Apr | May May | June Jun | July Jul | August Aug | September Sep | October Oct | November Nov | December Dec | January Jan | February Feb | ||||||||||||||||||||||||||||||||||||||||
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
February 2025
Created 7 commits in 1 repository
Created a pull request in oqtopus-team/oqtopus-cloud that received 2 comments
Feat: Revise JobInfo
📃 Ticket FujitsuResearch/QuantumCloudPlatform#303 FujitsuResearch/QuantumCloudPlatform#310 ✍ Description 📸 Test Result 🔗 Related PRs
+332
−185
lines changed
•
2
comments
Opened 8 other pull requests in 1 repository
oqtopus-team/oqtopus-cloud
1
open
7
merged
-
Feat: Update JobInfo transpile_result
This contribution was made on Feb 13
-
fix: Add nullable to EstimationResult
This contribution was made on Feb 12
-
fix: Add security tag in patch job info
This contribution was made on Feb 12
-
fix: job info message and result
This contribution was made on Feb 12
-
feat: Provider API: Add nullable mark to each property of object fields in OAS
This contribution was made on Feb 10
-
bugs: Provider API: Remove too restrictive guard for updating job_info
This contribution was made on Feb 7
-
feat: Provider API security auth
This contribution was made on Feb 6
-
feat: Backend responses' datetime explicitly localized
This contribution was made on Feb 6
Reviewed 6 pull requests in 1 repository
oqtopus-team/oqtopus-cloud
6 pull requests
-
Feature/#291 signup trigger
This contribution was made on Feb 12
-
Feature/#207 user api token
This contribution was made on Feb 12
-
feat: #286 revise PATCH /devices/{device_id}
This contribution was made on Feb 12
-
feat: #203 #204 add admin page API
This contribution was made on Feb 10
-
fix: use
--output-datetime-class
optionThis contribution was made on Feb 3 -
docs: update oas
This contribution was made on Feb 3
13
contributions
in private repositories
Feb 4 – Feb 12