Sofia Rodrigues's repositories
a-bad-lisp
Just a bad lisp lol I had nothing to do so I just made a lisp with macros
algebraic.dev
🕸️ | A website in Svelte
ethereum-playground
⟠ | My Ethereum Playground
lean-libuv
Bindings to LibUV in Lean
machine-json-rpc
Cartesi Machine JsonRpc bindings
emulator-tests
⟠ | My Cartesi Emulator Playground
machine-emulator-tools
Set of tools to help the development
Language:C++Apache-2.0000
script-wars
It's a really bad name for a project lol
Socket.lean
A fork of Xubaiw's Socket.lean, that builds with the latest Lean.