🐧 Logic Penguin 🐧 aims to be a flexible, extensible, open source, and self-hostable framework for online exercises for introductory logic problems, and interfaces with LMS systems.
☆26Nov 3, 2026Updated this week
Alternatives and similar repositories for logicpenguin
Users that are interested in logicpenguin are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Fitch style proof constructor☆30Feb 17, 2023Updated 3 years ago
- Continuation to Principia Rewrite☆24Oct 28, 2026Updated last week
- JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)☆62Aug 26, 2025Updated last year
- i18n library for Lean.☆14Oct 22, 2026Updated 2 weeks ago
- Repositório da disciplina Programação Orientada a Objetos ministrada por Fabricio Santana no 3º semestre da graduação em Ciência da Compu…☆22Oct 23, 2026Updated 2 weeks ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆22Jan 29, 2021Updated 5 years ago
- ☆22Nov 23, 2023Updated 2 years ago
- Simply Typed Lambda Calculus with de Bruijn indices☆20Oct 9, 2026Updated 3 weeks ago
- Xfce is a lightweight desktop environment for UNIX-like operating systems. It aims to be fast and low on system resources, while still be…☆12Aug 31, 2021Updated 5 years ago
- Material para Matemática Discreta☆12Jul 31, 2016Updated 10 years ago
- The Pulse separation logic DSL for F*☆36Sep 21, 2026Updated last month
- The VS Code extension for Waterproof. Helps students learn how to write mathematical proofs.☆12Updated this week
- Course notes from my EE degree and other occasional writeups☆13Apr 19, 2017Updated 9 years ago
- Solutions to Imperial College London's Natural Number Game, a gamified formal mathematics course on the Peano axioms using an interactive…☆24Dec 12, 2021Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆15Jul 9, 2026Updated 3 months ago
- Projeto Carômetro: Repositório de informações de pessoas com foto associada.☆14Apr 22, 2025Updated last year
- Fork of IcePDF library, maven build and additional print support☆15May 7, 2018Updated 8 years ago
- Book about using Lean with How To Prove It☆31Oct 13, 2026Updated 3 weeks ago
- ☆10Nov 21, 2022Updated 3 years ago
- The beautiful theme based on the Kanazawa painting.☆14Oct 9, 2025Updated last year
- ☆15Jul 8, 2021Updated 5 years ago
- 🎨 A Vim colorscheme inspired by the popular kanagawa.nvim theme☆15Oct 19, 2026Updated 2 weeks ago
- A formal logic framework that runs in the browser☆349Oct 1, 2026Updated last month
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Just simple dotfiles with qtile☆14Oct 24, 2024Updated 2 years ago
- ☆10Sep 16, 2026Updated last month
- UCalgary version of forallx, an introduction to formal logic☆131Oct 23, 2026Updated 2 weeks ago
- Tarski's world: semantics of first-order logic☆11Oct 13, 2026Updated 3 weeks ago
- micro RPC framework (WIP and experimental)☆14Jun 26, 2021Updated 5 years ago
- sha256(sha256(preimage)) in zk☆15May 12, 2021Updated 5 years ago
- Programa de teste de integração entre Electron e Python☆14Dec 8, 2022Updated 3 years ago
- [wip] implementing origami VDF☆13Mar 1, 2023Updated 3 years ago
- The collection of links and papers where you can learn more about Alan Turing.☆22Feb 26, 2015Updated 11 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 👓☆15Jan 20, 2023Updated 3 years ago
- A CLI tool to for crypto functions☆13Feb 26, 2026Updated 8 months ago
- A better Table Tennis Rankings Algorithm than ITTF/WTT, using ELO Algorithm with special corrections. 基于ELO算法和修正模型得到的乒乓球世界排名，相对ITTF/WTT的排…☆15Oct 27, 2026Updated last week
- A sound and complete solver for type inhabitation and unification in dependent type theory, written in 185 lines of Lean.☆12Sep 20, 2026Updated last month
- Cyclotomic rings over STARK-friendly fields☆10Apr 14, 2026Updated 6 months ago
- A digital circuit verification library for Lean4☆12Jul 29, 2026Updated 3 months ago
- A curated list of datasets, tools, models, institutions, and learning resources for economics.☆16Sep 25, 2026Updated last month