carlosantq/LPL external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

carlosantq/LPL

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/carlosantq/LPL)

Close

carlosantq / LPLView on GitHubMore

• External links
• Readme badge

📚Solutions to Language, Proof and Logic (2nd Edition)

☆22Dec 23, 2020Updated 5 years ago

Alternatives and similar repositories for LPL

Users that are interested in LPL are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• evanlouie / phil220a

  View on GitHub
  Solutions for UBC PHIL220A distance-ed online assignments; PR's welcome!
  ☆12Apr 17, 2014Updated 12 years ago
• thomasWeise / bookbuildeR

  View on GitHub
  An R Package for Building Books or Documents using pandoc
  ☆10Aug 31, 2021Updated 5 years ago
• Akimkin / kf5-kio-ftps

  View on GitHub
  A port of FTPS kioslave to KDE Frameworks 5
  ☆11Aug 6, 2022Updated 4 years ago
• bnlcas / OpenGif

  View on GitHub
  ☆13Jun 2, 2020Updated 6 years ago
• mk-fg / nflog-zmq-pcap-pipe

  View on GitHub
  Tool to collect nflog and pipe it to a pcap stream/file over network (0mq) for real-time (or close to) analysis
  ☆22Jan 19, 2015Updated 11 years ago
• Proton VPN Special Offer - Get 70% off • Ad
  Special partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
• 96boards / burn-boot

  View on GitHub
  A small python tool for downloading bootloader to ddr through serial port
  ☆14Feb 28, 2016Updated 10 years ago
• NCrashed / dlogg

  View on GitHub
  Logging utilities that aimed to be used in highly loaded applications
  ☆12Nov 10, 2017Updated 8 years ago
• puyash / two-stream-cnn

  View on GitHub
  A two-stream convolutional neural network for learning abitrary similarity functions over two sets of training data
  ☆23Oct 12, 2017Updated 8 years ago
• ljmf00 / google-translate-exploit

  View on GitHub
  Google Translate Translation Exploit
  ☆10Mar 4, 2019Updated 7 years ago
• TheZoc / sourceforts-bug-tracker

  View on GitHub
  Bug Tracker for the classic SourceForts HL2 Mod
  ☆10Oct 15, 2018Updated 7 years ago
• adamharrison / straightforward-c-project-standard

  View on GitHub
  A standard for straightforward integration and compilation of C projects.
  ☆27Jan 11, 2023Updated 3 years ago
• LANDrop / gallery_saver

  View on GitHub
  Flutter plugin that saves images and videos to devices gallery
  ☆11Jun 6, 2021Updated 5 years ago
• vkobel / linux-syscall-hook-rootkit

  View on GitHub
  Simple kernel module that hooks the `execve` syscall and waits for `date` to be executed with the `backd00r` argument followed by a PID n…
  ☆26Apr 24, 2020Updated 6 years ago
• ziglang / kde-syntax-highlighting

  View on GitHub
  kde xml file for zig syntax highlighting
  ☆19Nov 12, 2022Updated 3 years ago
• Managed Kubernetes at scale on DigitalOcean • Ad
  DigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
• formtools / docs

  View on GitHub
  The Form Tools documentation.
  ☆18Feb 25, 2023Updated 3 years ago
• jonasra4 / data-science-joaozinho

  View on GitHub
  Trabalho da 1 unidade da disciplina de Ciencia de dados I.
  ☆34Sep 24, 2018Updated 8 years ago
• NyaMisty / ida_kern

  View on GitHub
  Raw IDA Kernel API for IDAPython
  ☆34Apr 10, 2022Updated 4 years ago
• ThunderJie / Study_pdf

  View on GitHub
  搜集的一些kernel paper
  ☆26Feb 19, 2020Updated 6 years ago
• mageplaza / magento-2-instagram-feed

  View on GitHub
  Magento 2 Instagram Feed Extension. Instagram Feed is an effective extension to integrate Instagram images to Magento 2 stores. This tren…
  ☆14Feb 20, 2023Updated 3 years ago
• jordanlewis / config

  View on GitHub
  Revision tracking for various dotfiles
  ☆18May 20, 2026Updated 4 months ago
• Le4kno3 / Beginner-Bug-Bounty-Guide

  View on GitHub
  Beginner-Bug-Bounty-Guide
  ☆13Mar 26, 2022Updated 4 years ago
• tiangolo / docker-auto-labels

  View on GitHub
  Generate each Docker constraint label in random nodes in the cluster.
  ☆16Aug 26, 2024Updated 2 years ago
• wp-cli / export-command

  View on GitHub
  Exports WordPress content to a WXR file.
  ☆13Updated this week
• Wordpress hosting with auto-scaling - Free Trial Offer • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• migueljteixeira / ClipMobile

  View on GitHub
  ClipMobile source code
  ☆10Sep 6, 2015Updated 11 years ago
• sapuri / web3-online-tools

  View on GitHub
  Online web3 tools using web3.js for support your dapps development
  ☆11Jan 23, 2023Updated 3 years ago
• jarmo / secrets

  View on GitHub
  Not Yet Another Password Manager written in Go using libsodium
  ☆29Apr 8, 2023Updated 3 years ago
• macintoshpie / yass

  View on GitHub
  yet another shell sever
  ☆25Sep 3, 2024Updated 2 years ago
• GLUA-UA / meals-ua

  View on GitHub
  A python script that presents the menus at all of the University of Aveiro's canteens.
  ☆14May 20, 2024Updated 2 years ago
• olvaffe / olv-notes

  View on GitHub
  my notes
  ☆24Updated this week
• miguelmota / ethereum-devtools

  View on GitHub
  🛠️ A simple GUI of Ethereum tools and utilities for debugging
  ☆24Jun 4, 2025Updated last year
• mishushakov / floating-chat

  View on GitHub
  A framework-agnostic floating chat window component written in Svelte
  ☆18Jul 20, 2022Updated 4 years ago
• solana-idl-foundation / solana-idl-spec

  View on GitHub
  Specifying a Solana IDL Standard, inspired from the Anchor IDL Standard
  ☆21Apr 28, 2026Updated 4 months ago
• Wordpress hosting with auto-scaling - Free Trial Offer • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• aravenel / behance_python

  View on GitHub
  Python wrapper for Behance API
  ☆24Jul 27, 2018Updated 8 years ago
• kkimdev / ieee754-types

  View on GitHub
  Single header file C++ library that provides IEEE 754 floating point types.
  ☆23Aug 11, 2020Updated 6 years ago
• rougin / slytherin

  View on GitHub
  Simple, extensible PHP micro-framework.
  ☆11Jun 28, 2026Updated 2 months ago
• mageplaza / pdf-invoice-templates

  View on GitHub
  Mageplaza PDF Invoice Templates for Magento 2 solves problems that online store have when they send billing documents to their customers.…
  ☆26Dec 17, 2021Updated 4 years ago
• dutchcoders / geodig

  View on GitHub
  Command line tool for looking up Geolocation info for an ip address.
  ☆15Mar 22, 2015Updated 11 years ago
• flexpool / py-flexpoolapi

  View on GitHub
  🐍 Pythonic wrapper for Flexpool Public API
  ☆15Aug 2, 2021Updated 5 years ago
• WebFreak001 / DWinProgramming

  View on GitHub
  Fork because original project doesn't exist anymore
  ☆19Sep 7, 2015Updated 11 years ago