Published my first Hackage package today: A Haskell library which provides a formal, executable specification of the RISC-V architecture and can be used to build custom interpreters for RISC-V machine code: https://hackage.haskell.org/package/libriscv
#Haskell #RISCV
nmeum /
npub1h0…r3ehd
2024-07-10 15:24:25
Author Public Key
npub1h0xqz4e4rkcu89hxkja42c0n3gnca8ff7kujvhcsq7j39h6wyzwsdr3ehdSeen on
wss://relay.mostr.pubPublished at
2024-07-10 15:24:25Event JSON
{
"id": "9cba190fe80bbaa1f6a81bbdba2c74f5c5f1d98620104d1f128ac3e66e42eba6",
"pubkey": "bbcc0157351db1c396e6b4bb5561f38a278e9d29f5b9265f1007a512df4e209d",
"created_at": 1720625065,
"kind": 1,
"tags": [
[
"t",
"haskell"
],
[
"t",
"riscv"
],
[
"proxy",
"https://chaos.social/users/nmeum/statuses/112762884269361060",
"activitypub"
]
],
"content": "Published my first Hackage package today: A Haskell library which provides a formal, executable specification of the RISC-V architecture and can be used to build custom interpreters for RISC-V machine code: https://hackage.haskell.org/package/libriscv\n\n#Haskell #RISCV",
"sig": "6d1715cbbb6a1543035276e6bbea1ad00905831f3278e42009029f6241b5ed87c6e2692c22e1ce5075a7f57c167c4389afc555ba872ea2e79f59b2cd5603b57f"
}