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

.NET public suffix domain parser

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