rsnikhil.bsky.social

@rsnikhil.bsky.social

4 months ago

#NEPLS New England Programming Languages and Systems Symposium
#RISCV #RVI #Haskell #QuickCheck #PBT
#Sail DSL for ISA Formal Specs
#TestRIG uses #Haskell #QuickCheck