- Nemerle programming language
- Fx7 SMT solver
- vcc formal verifier for C
- Touch Develop IDE for a phone
- UF2 file format for flashing embedded devices (used in RP2040)
- MakeCode IDE for programming education
- Jacdac plug-and-play electronics
- DeviceScript TypeScript for IoT
- AICI control interface for LLMs
- Seattle, WA, USA
-
03:05
(UTC -07:00) - http://moskal.me
Block or Report
Block or report mmoskal
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
-
microsoft/devicescript
microsoft/devicescript PublicTypeScript for Tiny IoT Devices (ESP32, RP2040, ...)
-
microsoft/pxt
microsoft/pxt PublicMicrosoft MakeCode (PXT - Programming eXperience Toolkit)
-
2,552 contributions in the last year
| Day of Week | March Mar | April Apr | May May | June Jun | July Jul | August Aug | September Sep | October Oct | November Nov | December Dec | January Jan | February Feb | March Mar | ||||||||||||||||||||||||||||||||||||||||
| 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
March 2024
Created 48 commits in 3 repositories
Reviewed 1 pull request in 1 repository
microsoft/pxt-common-packages
1 pull request
-
special case for settings under MICROBIT_CODAL
This contribution was made on Mar 12
Opened 2 issues in 1 repository
microsoft/aici
1
open
1
closed
-
investigate Wasm component model for AICI functions
This contribution was made on Mar 12
-
[RFC] drop pre/post callback, only leave mid
This contribution was made on Mar 11
Started 1 discussion in 1 repository
microsoft/aici
microsoft/aici
-
[RFC] drop pre/post callback, only leave mid
This contribution was made on Mar 11
Answered 1 discussion in 1 repository
microsoft/aici
microsoft/aici
-
Question about FixedToken (insertion)?
This contribution was made on Mar 13
13
contributions
in private repositories
Mar 2 – Mar 9






