9 results found Sort:

weppos
publicsuffix-ruby weppos
110
622
mit
16
Domain name parser for Ruby based on the Public Suffix List.
psl ruby publicsuffix
Created 2009-11-01
845 commits to main branch, last one 2 days ago
ccclyu
awesome-deeplogic ccclyu
26
242
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 3 months ago
weppos
publicsuffix-go weppos
33
190
mit
7
Domain name parser for Go based on the Public Suffix List.
go psl golang publicsuffix
Created 2016-03-10
641 commits to main branch, last one 2 days ago
nager
Nager.PublicSuffix nager
22
155
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 5 months ago
rushmorem
publicsuffix rushmorem
17
97
mit
6
An implementation of Mozilla's Public Suffix List in Rust
psl robust parsing publicsuffix rust-library
Created 2016-12-28
225 commits to main branch, last one 9 days 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,559 commits to master branch, last one 18 days 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 10 months 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
reduce-algebra
reduce-algebra reduce-algebra
0
36
other
6
reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/code/. Please visit the REDUCE Homepage, https://reduce-algebra...
csl psl lisp emacs matrix mirror reduce scalar vector gnuplot texmacs calculus codemist symbolic-math arbitrary-precision symbolic-computation numerical-computation codemist-standard-lisp portable-standard-lisp computer-algebra-system
Created 2021-02-28
7,542 commits to master branch, last one a day ago