-
Saint-Petersburg State University
- Russia, Saint-Petersburg
- ru.linkedin.com/in/semengrigorev
Popular repositories Loading
-
-
-
SimpleTranslatorProgrammingCourse
SimpleTranslatorProgrammingCourse PublicSimple translator for programming course 2-nd semester.
F# 1
-
powerpack
powerpack PublicForked from fsprojects-archive/zzarchive-powerpack
F# PowerPack (based on the Apache 2.0 code drop release)
F#
422 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 2025
Created 13 commits in 4 repositories
Opened 1 pull request in 1 repository
FormalLanguageConstrainedPathQuerying/formal-lang-course
1
merged
-
Удалил ссылку на таблицу с результатами.
This contribution was made on Mar 11
Reviewed 28 pull requests in 9 repositories
PySymGym/PySymGym
14 pull requests
-
chore(deps-dev): Bump ruff from 0.11.0 to 0.11.1
This contribution was made on Mar 21
-
chore(deps): Bump aiohttp from 3.11.13 to 3.11.14
This contribution was made on Mar 18
-
chore(deps): Bump attrs from 25.2.0 to 25.3.0
This contribution was made on Mar 15
-
chore(deps-dev): Bump ruff from 0.10.0 to 0.11.0
This contribution was made on Mar 15
-
chore(deps-dev): Bump ruff from 0.9.10 to 0.10.0
This contribution was made on Mar 14
-
chore(deps): Bump mlflow from 2.20.3 to 2.20.4
This contribution was made on Mar 14
-
New validation mode: via sending model
This contribution was made on Mar 13
-
chore(deps): Bump attrs from 25.1.0 to 25.2.0
This contribution was made on Mar 12
-
chore(deps): Bump jinja2 from 3.1.5 to 3.1.6
This contribution was made on Mar 11
-
chore(deps): Bump onnxruntime from 1.20.1 to 1.21.0
This contribution was made on Mar 11
-
chore(deps-dev): Bump pytest from 8.3.4 to 8.3.5
This contribution was made on Mar 8
-
chore(deps-dev): Bump ruff from 0.9.9 to 0.9.10
This contribution was made on Mar 8
-
chore(deps-dev): Bump ruff from 0.9.7 to 0.9.9
This contribution was made on Mar 1
-
chore(deps): Bump matplotlib from 3.10.0 to 3.10.1
This contribution was made on Mar 1
PySymGym/VSharp
3 pull requests
-
Path condition
This contribution was made on Mar 20
-
CI
This contribution was made on Mar 20
-
Support of new training process
This contribution was made on Mar 11
SparseLinearAlgebra/spla
1 pull request
-
Fix the tests build
This contribution was made on Mar 21
Lamagraph/interaction-nets-in-fpga
1 pull request
-
Core
This contribution was made on Mar 20
FormalLanguageConstrainedPathQuerying/formal-lang-course
1 pull request
-
Add translation for README and tasks
This contribution was made on Mar 18
FormalLanguageConstrainedPathQuerying/FormalLanguageConstrainedReachability-LectureNotes
1 pull request
-
Add tree construction in LL(1) and some fixed typos
This contribution was made on Mar 10
Kkkkateeee/HomeWork
1 pull request
-
HomeWork 7
This contribution was made on Mar 6
Danil-Zaripov/FSharp-Assigments
1 pull request
-
HW7
This contribution was made on Mar 3