singds

Some boring info about me.

Pinned Repositories

rosetta-smart-contracts
Language:Rust90
Bussolino
progetto esame programmazione di sistemi embedded
Language:Kotlin1 1 00
fontcvt
Font converter for MCU C GUI
Language:C1 0 03
imgcvt
simple png to raw image converter for MCU GUI
Language:C0 1 01
riscv-core
Language:Verilog0 1 00
sui-use-cases
Smart Contracts use cases in Sui
Language:Move00
TinyML
a tiny ML implementation (functional language)
Language:F#0 1 00
u-Agda-Move
A Move-like language formalized in Agda
Language:Agda00
u-Agda-TySy
Language:Agda0 1 00
stlink
Open source STM32 MCU programming toolset
Language:C4.3k 189 7431.2k

singds's Repositories

singds/Bussolino
progetto esame programmazione di sistemi embedded
Language:Kotlin1 1 00
singds/fontcvt
Font converter for MCU C GUI
Language:C1 0 03
singds/imgcvt
simple png to raw image converter for MCU GUI
Language:C0 1 01
singds/riscv-core
Language:Verilog0 1 00
singds/sui-use-cases
Smart Contracts use cases in Sui
Language:Move00
singds/TinyML
a tiny ML implementation (functional language)
Language:F#0 1 00
singds/u-Agda-Move
A Move-like language formalized in Agda
Language:Agda00
singds/u-Agda-TySy
Language:Agda0 1 00