psl

There are 0 repository under psl topic.

• weppos / publicsuffix-ruby

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

  rubypublicsuffixpsl
  Language:Ruby 610

• ccclyu / awesome-deeplogic

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

  first-order-logicdeep-logic-modelpaper-listneuro-symbolic-learningreasoningpsl
  196

• thephpleague / uri-hostname-parser

  A lightweight hostname parser according to public suffix list ICANN section

  pslpsl-icannhostnameuriicannpsl-rulesphp
  Language:PHP 195

• weppos / publicsuffix-go

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

  gogolangpublicsuffixpsl
  Language:Go 172
• Nager.PublicSuffix

  nager / Nager.PublicSuffix

  .NET public suffix domain parser

  publicsuffixdomain-checkerdomain-parserdomain-namecsharpdomain-validationdotnettldc-sharpdomain-verifierdomain-checktldextracttld-verificationpublic-suffix-listsubdomainvalidation-librarypslpublic-suffixtld-checkfqdn
  Language:C# 142

• rushmorem / publicsuffix

  An implementation of Mozilla's Public Suffix List in Rust

  publicsuffixrust-libraryrobustparsingpsl
  Language:Rust 93

• layershifter / TLDDatabase

  [DEPRECATED] Abstraction layer for Public Suffix List in PHP

  public-suffix-listdatabasepslphpsuffix
  Language:PHP 64

• data61 / PSL

  proofpslisabelleproof-strategiesconjectureholmachine-learningartificial-intelligenceitpinteractive-theorem-provingdomain-specific-languageinductionproof-assistantformal-proofsformal-verificationformal-methodsproof-search
  Language:Isabelle 62

• Dashlane / SwiftDomainParser

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

  parseswiftpslparseurlpublic-suffix-list
  Language:Swift 61

• tmeissner / psl_with_ghdl

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

  vhdlpslghdlyosysformal-verificationassertionssymbiyosysfunctional-coverage
  Language:VHDL 60

• tmeissner / formal_hw_verification

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

  vhdlsystemverilogyosysformal-verificationverilogsymbiyosyspslghdl
  Language:VHDL 41
• 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.

  reducecslpsllispscalarvectormatrixarbitrary-precisionnumerical-computationcalculusgnuplottexmacsemacscodemistcodemist-standard-lispportable-standard-lispsymbolic-computationsymbolic-mathcomputer-algebra-systemmirror
  31

• tmeissner / libvhdl

  Library of reusable VHDL components

  vhdltestbenchesosvvmpslverificationfpgacoverageghdlassertionsformal-verification
  Language:VHDL 25

• tmeissner / vhdl_verification

  Examples and design pattern for VHDL verification

  vhdlpslcoveragevhdl-verificationtestbench
  Language:VHDL 16

• Gluttton / PslRK

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

  digital-signal-processingpslcppqtqcustomplotbpskbarker-code
  Language:C++ 11

• daurnimator / lua-psl

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

  luapslpublic-suffix-listlua-bindingslibpsl
  Language:C 10

• MarcoEidinger / TLDExtractSwift

  Swift package to extract top level domain (TLD) second level domain, subdomain and root domain

  swiftparseurlpslpublic-suffix-listtop-level-domainstldextract
  Language:Swift 9

• MohammadRaziei / liburlparser

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

  bindingcpplibparserpslpublic-suffix-listpythonuriurlurlparser
  Language:C++ 9

• freesoft / UIUC-MCSDS-bookmark

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

  uiucmachine-learningbookmarksmcs-dsbookmarkmcsdata-sciencepslcs598-pslcs498-amlamluiuc-mcs-dsstatistical-learningtextbookstudyapplied-statistics
  8
• 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.

  reducelispemacstexmacscalculusvectormatrixscalararbitrary-precisiongnuplotsymbolic-computationsymbolic-mathcslpslnumerical-computationcodemistcodemist-standard-lispportable-standard-lispcomputer-algebra-systemhistorical
  Language:TeX 7

• adityaSomak / ImageRiddleSolving

  Solving Image Riddles

  gurobipyvisionpsloptimization
  Language:Python 6

• mholt / caddy-psl

  A public suffix list module for Caddy

  caddycaddy-modulepslpublic-suffix-list
  Language:Go 4

• rlee287 / hardware-bus-infrastructure

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

  bus-standardsaxi4pslsvaaxi4-streamwishbone-busaxi4-lite
  Language:Verilog 4
• CAPI-Precis

  atmughrabi / CAPI-Precis

  CAPIPrecis a Coherent Accelerator Processor Interface (CAPI) Abstract Layer

  capi-precispslfpgaafu-controlsimulationmodelsimsynthesisibm-capishared-memory-accelerationibmcoherent-acceleratorcapicommunicationpslseinterface-design
  Language:SystemVerilog 3
• bachelor-thesis

  Cortys / bachelor-thesis

  Probabilistic Online Knowledge Graph Construction from Natural Language

  knowledge-graphnlppsl
  Language:TeX 1

• jameshurst / PublicSuffix-Swift

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

  publicsuffixpsl
  Language:Swift 1

• jasnap / formal_ver_alu

  Formal verification of an ALU

  aluaxi-streamformal-verificationpslvhdl
  Language:VHDL 1

• reduce-algebra / homebrew-reduce-algebra

  A macOS Homebrew tap for REDUCE, the portable general-purpose computer algebra system.

  cascomputer-algebra-systemcslhomebrewhomebrew-formulaehomebrew-taplisppslreducereduce-algebrastandard-lisp
  1

• btuan / PriorityStoreLite

  distributed-file-systemlatency-predictionpsl
  Language:Python 0

• MuhammadTabish10 / PSL-Management-System

  I have created a database Management System for PSL using Sql which will display all the statistics of PSL Season 6

  csharpmysqlmysql-servernormalizationpslsqlsql-serversqlite-databasevisual-studio
  Language:TSQL 0

• paquerette-orga / libpsl-php

  Library to integrate PSL test in PHP

  devwebdevdnsportspsllibpsllibpsl-phpadresstld
  Language:PHP 0

• Akvarion / vhdl_abs

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

  vhdlpslpsl-statementsfinite-state-machineautomotive
  Language:VHDL

• anhgelus / cours-informatiques

  Cours informatiques du CPES d'Henri IV et de PSL

  courscoursecourse-projectcourse-workpslpythonscriptstudentstudy
  Language:Python

• hfm / mruby-publicsuffix

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

  mrubymrbgempublicsuffixdomainpsl
  Language:Ruby

• Kevin-Sangeelee / PublicSuffixList

  Java helper API to query the Public Suffix List

  javalibrarypslpublicsuffixpublicsuffixlist
  Language:Java

• zhenqidong / powershell

  record all the powershell commands that I'll use

  mspowershellpsl