Alternatives and similar repositories for LPL

Users that are interested in LPL are comparing it to the libraries listed below

• matsuthebear / Language-Proof-And-Logic-Solutions
  This repository contains all files and exercises done from chapter 1 to 6, including some exercises for other chapters
  ☆17Updated last year
• Jumaruba / LPL-solutions
  Solutions for the book "Language Proof and Logic".
  ☆75Updated 8 months ago
• evanlouie / phil220a
  Solutions for UBC PHIL220A distance-ed online assignments; PR's welcome!
  ☆12Updated 11 years ago
• hungweitseng / CS202-MMA
  Codebase for the term project of CS202, 2022 Winter
  ☆3Updated 3 years ago
• discentes-imd / IntegraTI-Web
  Implementação da interface web da plataforma IntegraTI
  ☆8Updated 7 years ago
• cirosantilli / test-git-partial-clone
  Minimal Git repository to illustrate partial clones (--filter=blob:none): https://stackoverflow.com/questions/600079/how-do-i-clone-a-sub…
  ☆19Updated 3 years ago
• MLH / mlh-no-light
  No Light - one of the many fun mini-events we run.
  ☆33Updated last week
• matheusgr / easyaccept
  Easy Accept is a tool to easly describe acceptance tests as text files
  ☆8Updated 4 years ago
• Alhadis / Harvester
  Script to collect the results of extension or filename searches on GitHub.
  ☆23Updated 5 years ago
• ubccpsc / 507
  Main course repository for CPSC 507.
  ☆13Updated 5 months ago
• MARIE-js / MARIE.js
  MARIE.js is a simple, yet intuitive MARIE simulator built in JavaScript and is used for teaching computing architecture and assembly lan…
  ☆151Updated 2 weeks ago
• Benardi / touvlo
  ML algorithms implemented from scratch and provided block by block
  ☆12Updated 5 years ago
• ntmedina / cristofori
  [wip] Cristofori is a digital piano created to help everyone who wants to practice or play with no need to buy a super expensive instrume…
  ☆9Updated 4 years ago
• xnumad / habbo-files
  All Google indexed articles and files related to Habbo or Sulake. Feel free to contribute.
  ☆11Updated 4 years ago
• hereismari / nao-nasci-pra-ser-a-outra
  Monitoramento do cumprimento da Lei nº 9504/97 "cada partido ou coligação deve preencher, nas eleições proporcionais, o mínimo de 30% e o…
  ☆16Updated 2 years ago
• brenohq / world-cup-scoreboards
  A Node.js CLI to show FIFA World Cup 2018 results in real time.
  ☆16Updated 6 years ago
• brenns10 / yams
  YAMS: Awesome MIPS Server
  ☆19Updated 7 years ago
• conor-99 / DichotomyTests
  Dichotomy Tests provides interesting tests that show you how inclined you are toward certain philosophical, psychological or political vi…
  ☆93Updated 3 years ago
• functionalCS / curriculum
  A Modern CompSci Curriculum
  ☆301Updated 10 months ago
• sebastianserrano / react-use-s3
  React custom hooks for uploading files to a s3 bucket with progress showing abilities
  ☆22Updated 5 years ago
• ovflowd / chocolatey
  The open source Habbo.com Engine & CMS
  ☆51Updated 7 years ago
• se-edu / se-edu.github.io
  Resources for Software Engineering Education
  ☆17Updated last year
• fkapitalism / HExBot
  Original Hacker Wars bot (Hacker Experience legacy)
  ☆11Updated 3 years ago
• gruberdev / infrastructure-fivem
  A series of CI/CD using Drone, Terraform, Docker and Kubernetes scripts to deploy a Fivem server on-demand.
  ☆28Updated 2 years ago
• CalicoUFSC / biblioteca
  Biblioteca virtual do CALICO
  ☆49Updated 7 years ago
• cuducos / em-nome-da-lai
  🧑‍⚖️ Em nome da LAI! Gerador de petições com base na LAI.
  ☆14Updated 4 years ago
• jcbiellikltd / docker-fivem
  Simple containerized FiveM server running on Alpine Linux
  ☆11Updated 5 years ago
• ranisalt / react-use-credential-management
  React hook to leverage Credential Management API
  ☆10Updated last year
• talitalobo / controle-social
  Conteúdo sobre machine learning aplicado ao controle social. Artigos sobre: ML, estatística, ética, dentre outros.
  ☆20Updated 5 years ago
• Fortyseven / nCage
  Replaces all images on all pages to Nicolas Cage.
  ☆83Updated 6 years ago