8 results found Sort:

weppos
publicsuffix-ruby weppos
109
617
mit
16
Domain name parser for Ruby based on the Public Suffix List.
psl ruby publicsuffix
Created 2009-11-01
832 commits to main branch, last one 21 hours ago
ccclyu
awesome-deeplogic ccclyu
25
225
unknown
7
A collection of papers of neural-symbolic AI (mainly focus on NLP applications)
psl reasoning paper-list deep-logic-model first-order-logic neuro-symbolic-learning
Created 2020-01-04
34 commits to master branch, last one about a month ago
weppos
publicsuffix-go weppos
33
183
mit
7
Domain name parser for Go based on the Public Suffix List.
go psl golang publicsuffix
Created 2016-03-10
626 commits to main branch, last one 21 hours ago
nager
Nager.PublicSuffix nager
21
153
mit
5
.NET public suffix domain parser
psl tld fqdn csharp dotnet c-sharp subdomain tld-check tldextract domain-name domain-check publicsuffix domain-parser public-suffix domain-checker domain-verifier tld-verification domain-validation public-suffix-list validation-library
Created 2016-10-27
209 commits to main branch, last one 3 months ago
rushmorem
publicsuffix rushmorem
17
96
mit
6
An implementation of Mozilla's Public Suffix List in Rust
psl robust parsing publicsuffix rust-library
Created 2016-12-28
218 commits to main branch, last one about a month ago
Dashlane
SwiftDomainParser Dashlane
20
65
mit
18
A Full Swift Lightweight Framework that uses the Public Suffix list to Parse URLs
psl parse swift parseurl public-suffix-list
Created 2018-07-24
54 commits to master branch, last one 8 months ago
data61
PSL data61
9
65
other
9
This repository has no description...
hol itp psl proof isabelle induction conjecture proof-search formal-proofs formal-methods proof-assistant machine-learning proof-strategies formal-verification artificial-intelligence domain-specific-language interactive-theorem-proving
Created 2016-08-10
1,551 commits to master branch, last one 11 days ago
tmeissner
psl_with_ghdl tmeissner
3
62
lgpl-3.0
11
Examples of using PSL for functional and formal verification of VHDL with GHDL (and SymbiYosys)
psl ghdl vhdl yosys assertions symbiyosys formal-verification functional-coverage
Created 2020-05-02
114 commits to master branch, last one about a year ago