psl

Domain name parser for Ruby based on the Public Suffix List.

A collection of papers of neural-symbolic AI (mainly focus on NLP applications)

Domain name parser for Go based on the Public Suffix List.

A lightweight hostname parser according to public suffix list ICANN section

Parse and validate domain names using the Public Suffix List, splitting domains into subdomain, main part, and TLD for .NET applications.

An implementation of Mozilla's Public Suffix List in Rust

#计算机科学#

A Full Swift Lightweight Framework that uses the Public Suffix list to Parse URLs

Examples of using PSL for functional and formal verification of VHDL with GHDL (and SymbiYosys)

[DEPRECATED] Abstraction layer for Public Suffix List in PHP

Trying to verify Verilog/VHDL designs with formal methods and tools

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...

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...

Library of reusable VHDL components

Examples and design pattern for VHDL verification

Peak sidelobe (PSL) level of binary sequences research kit. Mirror of gitlab repo: https://gitlab.com/Gluttton/PslRK .

Fastest domain extractor library written in C++ with python binding.

Lua bindings to libpsl (https://github.com/rockdaboot/libpsl)

#计算机科学#All the bookmarks that I've used for my work and study

reduce-historical: historical snapshots of the portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/code/historical/. Please visit the...