Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / formal-land/formal.land issues and pull requests

#44 - doc: add blog post for noir, first version

Pull Request - State: closed - Opened by clarus 28 days ago

#43 - Add blog post about enhancements to coq-of-solidity, part 1

Pull Request - State: closed - Opened by clarus about 2 months ago

#42 - doc: add blog post on Sui testing

Pull Request - State: closed - Opened by clarus about 2 months ago

#41 - Add Sui blog post monadic notation

Pull Request - State: closed - Opened by clarus about 2 months ago

#40 - Add map

Pull Request - State: closed - Opened by clarus about 2 months ago

#39 - Add blog post on first class

Pull Request - State: closed - Opened by clarus about 2 months ago

#38 - blog: add post for Sui

Pull Request - State: closed - Opened by clarus 3 months ago

#37 - learn: add section

Pull Request - State: closed - Opened by clarus 4 months ago

#36 - blog: Add blog post to verify an ERC-20 in Solidity

Pull Request - State: closed - Opened by clarus 4 months ago

#35 - blog: add post on the verification of the approve function

Pull Request - State: closed - Opened by clarus 4 months ago

#35 - blog: add post on the verification of the approve function

Pull Request - State: closed - Opened by clarus 4 months ago

#34 - blog: add second post about Solidity

Pull Request - State: closed - Opened by clarus 4 months ago

#33 - removing broken link

Pull Request - State: closed - Opened by jmikedupont2 4 months ago - 1 comment

#31 - Draft: add blog post on verification of an ERC-20

Pull Request - State: open - Opened by clarus 5 months ago

#30 - doc: add generated revm verif files

Pull Request - State: open - Opened by clarus 6 months ago

#29 - Blog: post on coq-of-yul

Pull Request - State: closed - Opened by clarus 6 months ago

#28 - doc: beginning of post on fv as reasoning from first principles

Pull Request - State: closed - Opened by clarus 6 months ago

#27 - Update of the homepage to focus on zk

Pull Request - State: closed - Opened by clarus 6 months ago

#26 - General improvements + post of evaluation of Python runs

Pull Request - State: closed - Opened by clarus 6 months ago

#24 - Consider not including AI-generated images with articles

Issue - State: closed - Opened by jplatte 7 months ago

#23 - blog: post on Python simulations

Pull Request - State: closed - Opened by clarus 7 months ago

#22 - Add post coq of python

Pull Request - State: closed - Opened by clarus 7 months ago

#21 - blog: add post on the translation of core and alloc crates

Pull Request - State: closed - Opened by clarus 7 months ago

#20 - doc: add lightling talk presentation

Pull Request - State: closed - Opened by clarus 8 months ago

#19 - Add post about the monadic notation

Pull Request - State: closed - Opened by clarus 8 months ago

#18 - static: add lunch.rs presentation

Pull Request - State: closed - Opened by clarus 8 months ago

#17 - Added new blog post on contract verification

Pull Request - State: open - Opened by InfiniteEchoes 9 months ago

#16 - Post 3 on Rust translation improvements

Pull Request - State: closed - Opened by clarus 9 months ago

#15 - blog: end of the part 2 for improving coq-of-rust

Pull Request - State: closed - Opened by clarus 9 months ago

#14 - Guillaume claret@add post on rust improvements and docusaurus 3

Pull Request - State: closed - Opened by clarus 9 months ago

#10 - blog: add post on Go part 1

Pull Request - State: closed - Opened by clarus 9 months ago

#9 - blog: add post on experiment with coq-of-hs

Pull Request - State: closed - Opened by clarus 10 months ago

#8 - Add general blog post on formal verif for Aleph Zero

Pull Request - State: closed - Opened by clarus 10 months ago

#7 - blog: add post on the upgrade of the Rust version for coq-of-rust

Pull Request - State: closed - Opened by clarus 11 months ago

#6 - blog: add blog post on translation of Rust patterns

Pull Request - State: closed - Opened by clarus 11 months ago

#5 - Blog post on ERC-20

Pull Request - State: closed - Opened by clarus 12 months ago

#4 - Updates November 2023

Pull Request - State: closed - Opened by clarus about 1 year ago

#3 - Add post on THIR and bundled traits

Pull Request - State: closed - Opened by clarus about 1 year ago

#2 - The blog post about traits

Pull Request - State: closed - Opened by bartlomiejkrolikowski over 1 year ago

#1 - Add blog post on a formally verified Tezos implemenation

Pull Request - State: closed - Opened by clarus almost 3 years ago