46 results for “topic: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
No description provided.
Examples of using PSL for functional and formal verification of VHDL with GHDL (and SymbiYosys)
[DEPRECATED] Abstraction layer for Public Suffix List in PHP
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.
Trying to verify Verilog/VHDL designs with formal methods and tools
Library of reusable VHDL components
A Formal Verification Methodology to lower the adoption barriers for Formal Verification of ASIC and FPGA designs in the Space sector (this is a mirror of https://gitlab.com/fvmformal/fvm : you can open issues there)
Fastest domain extractor library written in C++ with python binding.
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 .
High performance Swift library for working with public suffix list
Lua bindings to libpsl (https://github.com/rockdaboot/libpsl)
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.
All the bookmarks that I've used for my work and study
Solving Image Riddles
A public suffix list module for Caddy
A Discord music bot powered by slash commands and YouTube search, themed after a big black Persian cat.
A collection of formal properties for hardware buses, and cores using them.
Free, forever, and yours. Grab your '.is-app.top' today.
Top Level Domain parser based on Public Suffix List (PSL)
A machine learning project that predicts the winner of Pakistan Super League (PSL) matches using historical data. It includes data preprocessing, exploratory analysis, and model training using Random Forest , achieving high accuracy in predicting match outcomes.
CAPIPrecis a Coherent Accelerator Processor Interface (CAPI) Abstract Layer
A project with the aim of providing the Public Suffix List in different formats.