#

psl

Here are 30 public repositories matching this topic...

weppos / publicsuffix-ruby

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

ruby publicsuffix psl

Updated Jun 9, 2022
Ruby

thephpleague / uri-hostname-parser

A lightweight hostname parser according to public suffix list ICANN section

php uri icann hostname psl psl-icann psl-rules

Updated Mar 6, 2021
PHP

weppos / publicsuffix-go

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

go golang publicsuffix psl

Updated Jun 24, 2022
Go

ccclyu / awesome-deeplogic

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

first-order-logic psl reasoning neuro-symbolic-learning paper-list deep-logic-model

Updated Mar 10, 2022

rushmorem / publicsuffix

An implementation of Mozilla's Public Suffix List in Rust

parsing robust rust-library publicsuffix psl

Updated Jun 24, 2022
Rust

layershifter / TLDDatabase

[DEPRECATED] Abstraction layer for Public Suffix List in PHP

php database suffix public-suffix-list psl custom-database

Updated Nov 19, 2019
PHP

data61 / PSL

machine-learning proof artificial-intelligence proof-assistant formal-methods isabelle domain-specific-language induction formal-verification itp psl hol interactive-theorem-proving conjecture formal-proofs proof-search proof-strategies

Updated Jun 23, 2022
Isabelle

tmeissner / psl_with_ghdl

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

vhdl assertions ghdl formal-verification yosys psl symbiyosys functional-coverage

Updated Nov 8, 2021
VHDL

Dashlane / SwiftDomainParser

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

swift parse public-suffix-list psl parseurl

Updated Apr 8, 2022
Swift

tmeissner / formal_hw_verification

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

vhdl verilog systemverilog ghdl formal-verification yosys psl symbiyosys

Updated Oct 5, 2021
VHDL

reduce-algebra

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

Updated Jun 23, 2022

tmeissner / libvhdl

Library of reusable VHDL components

coverage fpga vhdl verification assertions testbenches ghdl formal-verification osvvm psl

Updated May 20, 2022
VHDL

tmeissner / vhdl_verification

Examples and design pattern for VHDL verification

coverage vhdl testbench psl vhdl-verification

Updated Apr 10, 2016
VHDL

daurnimator / lua-psl

Sponsor

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

lua public-suffix-list lua-bindings psl libpsl

Updated Nov 26, 2020
C

freesoft / UIUC-MCSDS-bookmark

Sponsor

All the bookmarks that I've used for my work and study

data-science machine-learning study bookmark statistical-learning bookmarks uiuc textbook mcs psl aml applied-statistics mcs-ds cs598-psl cs498-aml uiuc-mcs-ds

Updated May 22, 2020

Gluttton / PslRK

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

qt cpp digital-signal-processing psl qcustomplot bpsk barker-code

Updated Oct 18, 2020
C++

adityaSomak / ImageRiddleSolving

Solving Image Riddles

optimization vision psl gurobipy

Updated Jun 21, 2022
Python

reduce-historical

reduce-algebra / reduce-historical

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.

Updated Apr 17, 2021
TeX

rlee287 / hardware-bus-infrastructure

A collection of formal properties for hardware buses, and cores using them.

psl sva wishbone-bus axi4 axi4-lite axi4-stream bus-standards

Updated Feb 22, 2021
Verilog

CAPIPrecis

atmughrabi / CAPIPrecis

CAPIPrecis a Coherent Accelerator Processor Interface (CAPI) Abstract Layer

fpga communication simulation synthesis ibm modelsim capi psl interface-design ibm-capi capi-precis afu-control shared-memory-acceleration coherent-accelerator pslse

Updated Oct 22, 2021
SystemVerilog

jameshurst / PublicSuffix-Swift

A Swift package that uses the Public Suffix List to parse domain names.

publicsuffix psl

Updated Feb 28, 2021
Swift

jasnap / formal_ver_alu

Formal verification of an ALU

vhdl alu formal-verification psl axi-stream

Updated Oct 8, 2017
VHDL

bachelor-thesis

Cortys / bachelor-thesis

Probabilistic Online Knowledge Graph Construction from Natural Language

nlp knowledge-graph psl

Updated Feb 3, 2020
TeX

NehalAB / cmps290c

User based recommendations for Reddit

machine-learning psl

Updated Jun 7, 2017
Java

Kevin-Sangeelee / PublicSuffixList

Java helper API to query the Public Suffix List

java library publicsuffix psl publicsuffixlist

Updated Feb 26, 2020
Java

paquerette-orga / libpsl-php

Library to integrate PSL test in PHP

dns dev tld webdev ports adress psl libpsl libpsl-php

Updated Jun 13, 2020
PHP

zhenqidong / powershell

record all the powershell commands that I'll use

powershell psl ms

Updated May 26, 2019

Akvarion / vhdl_abs

A finite state machine implementation of an ABS system written in VHDL with PSL statements.

vhdl finite-state-machine automotive psl psl-statements

Updated Jun 18, 2022
VHDL

hfm / mruby-publicsuffix

Public Suffix List for mruby. The purpose of this project is mruby port of publicsuffix-ruby.

domain mruby publicsuffix psl mrbgem

Updated May 3, 2018
Ruby

btuan / PriorityStoreLite

distributed-file-system psl latency-prediction

Updated Jun 1, 2017
Python

Improve this page

Add a description, image, and links to the psl topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the psl topic, visit your repo's landing page and select "manage topics."