Home Reports Apr 20, 2025
Sunday, April 20, 2025
- Commits
- 77
- pushed this day
- Repositories
- 10
- with activity
- Contributors
- 13
- distinct authors
- Lines changed
- +34,830 −21,572
- additions / deletions
Sunday, April 20, 2025
77 commits were pushed across 10 repos by 13 authors. There were 34,830 additions and 21,572 deletions.
Stay up to date with the latest insights and developments on AlgoScan
Updated repos
10 repositoriesCommit Log
77 commits · 10 repositories
01:00:26
go-algorand
Build 2324 Data
+1
−1
01:48:53
spectorin
initialize a new Poetry project
+16
−0
01:49:36
spectorin
add core dependencies
+436
−0
01:51:29
spectorin
add AI/LLM dependencies
+2046
−4
01:51:53
spectorin
add CLI extras
+2
−1
01:57:18
spectorin
scaffold frontend with Next.js & Tailwind
+6167
−0
02:04:01
spectorin
Remove node_modules from version control and add it to .gitignore
+0
−0
02:04:30
spectorin
main entry point
+14
−0
02:06:20
spectorin
analyze, test, verify from cli
+63
−41
02:06:50
spectorin
core code/engine logic
+24
−0
02:07:24
spectorin
Plugin Loader Example
+11
−0
02:08:08
spectorin
adda sample Solidity plugin stub
+4
−0
02:14:25
spectorin
managers for ai_agents, analyzers, verifiers, and fuzzers
+36
−2
02:15:59
spectorin
Tree sitter & Load Grammars Per Lang
+27
−0
02:17:37
spectorin
Z3 Verifier class: extracted properties & run checks
+13
−0
02:19:45
spectorin
Merge core/managers into core/main
+36
−2
02:19:52
spectorin
Merge core/tree-sitters into core/main
+27
−0
02:19:58
spectorin
Merge core/z3-verifiers into core/main
+13
−0
02:22:18
spectorin
basic llm agent with Ollama + LangChain
+22
−0
02:24:01
spectorin
Merge core/ai_llm_agents into core/main
+22
−0
02:30:00
spectorin
scaffold fastapi
+10
−0
02:31:33
spectorin
scaffold react frontend code
+25
−0
02:33:51
spectorin
add a basic parser for Python Code using tree-sitter
+9
−0
02:35:39
spectorin
Merge core/tree-sitters into core/main
+9
−0
02:37:05
spectorin
pulls out int assigns & infers simple rules of assertion
+36
−0
02:40:17
spectorin
use the ast-to-z3 translator in Z3Verifier
+13
−7
02:42:26
spectorin
Merge core/tree-sitters into core/main
+49
−7
02:44:48
spectorin
Revert "use the ast-to-z3 translator in Z3Verifier"
+7
−13
02:47:54
spectorin
ast-to-z3 logic add
+14
−8
02:50:06
spectorin
control flow graph
+21
−0
02:51:56
spectorin
serve graph generator from api
+15
−0
02:53:34
spectorin
Merge core/api-setup into cfgraphs/main
+25
−0
02:54:41
spectorin
render cfg graphs with cytoscape.js
+33
−0
03:00:09
spectorin
merge ui/react-frontend to cfgraphs/main
+58
−0
03:02:27
spectorin
add taint tracking
+26
−0
03:11:43
spectorin
merge cfgraphs/taint-tracking into cfgraphs/main
+26
−0
03:14:45
spectorin
cfg rendered w/Cytoscape & JSON
+56
−5
03:16:10
spectorin
Define Hook Specification
+14
−0
03:17:06
spectorin
sample plugin
+15
−0
03:17:56
spectorin
plugin manager add
+17
−0
03:19:10
spectorin
use plugin manager in analysis
+13
−0
03:20:45
spectorin
merge ui/api-setup to pluggy/main
+38
−0
03:25:46
spectorin
merge core/main - contains core logic, to main
+149
−2
03:27:55
spectorin
merge cfgraphs/main - contains control-flow-graphs into main
+181
−0
03:29:08
spectorin
merge pluggy/main - contains plugin-enabling logic code , into main
+59
−0
03:46:26
spectorin
foundations complete
+1
−0
03:47:47
spectorin
foundational tasks complete
+1
−0
03:54:29
spectorin
Update README.md
+1
−1
06:30:00
AlgoQuest
Added WalletBackup and Edited the API
+821
−786
11:58:58
use-wallet
Create Brc21
+1
−0
13:10:39
algokit-core
feat: added txnid ffi endpoints
+82
−1
13:10:39
algokit-core
feat: added txnid ffi endpoints
+82
−1
13:25:24
algokit-core
Merge pull request #54 from algorandfoundation/feat/add-txn-id-ffi
+82
−1
13:25:24
algokit-core
Merge pull request #54 from algorandfoundation/feat/add-txn-id-ffi
+82
−1
14:40:31
xGov
Update xgov_council-6.md
+4
−2
15:09:11
arcpay-sdk
Reverse to Dutch
+2
−2
15:11:04
arcpay-sdk
Merge 7aedd8e568c2e5fcb61643adcc18d0bef995cfe6 into 492a3881aad98f5cf6028316a309cf4ca431ac6d
+2
−2
15:14:05
a-day-in-my-bobalife
chore: log greeting (2025-04-20)
+1
−0
15:40:43
S25_RideChain
traing_model.py trains model and stores it as a .pkl file in model folder. single_review_score.py has a function that can take in a string and retrun the predicted rating using the model.
+442
−175
15:53:57
AlgoQuest
Version: 1.0.38: Changed the listening serviceID from the player name to walletAddress
+4
−4
15:56:40
AlgoQuest
Version: 1.0.39: Changed the connect.tsx to Find the players nearby
+564
−333
17:11:01
S25_RideChain
Create model_api_v2.py
+153
−0
17:11:19
S25_RideChain
added model binary
+0
−0
17:43:01
forestfish
0.2.33
+19511
−18222
18:19:51
go-algorand
Stop using typemapping, maybe we cna use upstream?
+2081
−1700
19:36:21
spectorin
add z3ConstraintBuilder Class & functionality
+211
−0
19:37:04
spectorin
merge Z3ConstraintBuilder/main into main - issue #1
+211
−0
19:48:01
a-day-in-my-bobalife
feat: update for volume 3
+112
−123
20:18:35
a-day-in-my-bobalife
feat: switch from coinflip app to a receiver address
+24
−11
20:32:14
a-day-in-my-bobalife
fix: kotlin lint check
+67
−52
20:37:33
algokit-core
Merge pull request #55 from algorandfoundation/chore/disable_swift
+21
−18
20:37:33
algokit-core
Merge pull request #55 from algorandfoundation/chore/disable_swift
+21
−18
20:58:42
go-algorand
Seems like installing swagger command is a relic of the past
+0
−3
21:44:38
a-day-in-my-bobalife
feat: switch to mainnet for volume 3
+19
−18
21:50:59
spectorin
Add PyTeal support
+321
−1
21:55:42
a-day-in-my-bobalife
fix: update missing 8th vlog logic
+4
−2
21:58:31
a-day-in-my-bobalife
fix: kotlin lint
+4
−2