KO
|
EN
gitlite — search
Search
#javascript
#python
#hacktoberfest
#react
#ai
#typescript
#llm
#go
#golang
#android
#machine-learning
#rust
#deep-learning
#linux
netverify.github.io
★ 9
Open GitHub ↗
No description available.
Download README (.md)
Explore Similar Repositories
WKWebView-Injection
:
Injecting css and js into WKWebView
Rouigram
:
first instagram Api for user id without any registration.
Nerf
:
전국 응급실 정보 시스템 Nerf
ansible-role-hetzner-failover
:
Ansible role providing a HA setup using hetzner vSwitch and keepalived
laravel-trashmail-rule
:
This package provides a validation rule to prevent trash email addresses.
// repository documentation
Was this content helpful?
★ 0
(0 ratings)
Select Rating:
★
★
★
★
★
Submit Feedback
Recent Feedback
×
Download README
Do you want to download the
README.md
file for
netverify.github.io
?
Download (.md)
# Overview [netverify.fun](http://www.netverify.fun) is a site dedicated to commentary on the state of network verification and synthesis. # Contributing an article Create a new markdown file with the content of your post. You can look at some examples in the `_posts` directory. The file should be named in the following format: `YYYY-MM-DD-title-of-your-post`. Then submit a new PR with the blog post you want to add. If you want to add an image to your article, simply add the image to the `assets/images/` directory and link to it in the article markdown file. # Building and viewing locally You can build and view this site locally using [Jekyll](https://jekyllrb.com/). ``` gem install bundler jekyll cd <local repository directory> bundle install bundle exec jekyll serve ``` Then point your browser to http://localhost:4000/. The site was tested with ruby version 3.2.2.
