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.sourceforge.io/, to report any bugs or request assistance.

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.sourceforge.io/, to report any bugs or request assistance.

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 REDUCE Homepage, https://reduce-algebra.sourceforge.io/, for additional details.