motib/mathematical-logic 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

motib/mathematical-logic

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/motib/mathematical-logic)

Close

motib / mathematical-logicView on GitHubMore

• External links
• Readme badge

Prolog programs for Mathematical Logic for Computer Science (3rd Edition)

☆17Nov 23, 2022Updated 3 years ago

Alternatives and similar repositories for mathematical-logic

Users that are interested in mathematical-logic are comparing it to the libraries listed below

• ChamanAgrawal / CS220

  View on GitHub
  This repository contains lab assignments done in the course CS220: Computer Organization at IIT Kanpur
  ☆10Aug 8, 2019Updated 6 years ago
• HM4725 / The-Art-of-Multiprocessor-Programming

  View on GitHub
  THE ART of MULTIPROCESSOR PROGRAMMING, Maurice Herlihy & Nir Shavit
  ☆10Feb 12, 2023Updated 3 years ago
• lsk569937453 / auto_keypress

  View on GitHub
  ☆10Aug 27, 2023Updated 2 years ago
• alexandre-lecoq / awesome-computer-architecture-learning

  View on GitHub
  ☆10Nov 17, 2025Updated 3 months ago
• 2bytes / picomenu

  View on GitHub
  Menu system for Pimoroni Pico display on Raspberry Pi Pico
  ☆10Mar 13, 2021Updated 4 years ago
• Code-WvS / snap-wiki

  View on GitHub
  How to hack Snap! Build Your Own Blocks
  ☆10Apr 7, 2015Updated 10 years ago
• PranayPasula / EE364a-Convex-Optimization-I

  View on GitHub
  Notes for EE364a - Convex Optimization I @ Stanford (will update Ch 6 - Ch 13 later)
  ☆11Jul 30, 2019Updated 6 years ago
• wlisac / balena-swift-hello-world

  View on GitHub
  Sample project that shows how to run Swift in Docker on Raspberry Pi and other ARM devices.
  ☆12Dec 8, 2021Updated 4 years ago
• motib / surprises

  View on GitHub
  Source code of Mathematical Surprises (open access)
  ☆14Mar 24, 2025Updated 11 months ago
• kk9527kk / brother-share

  View on GitHub
  介绍：这个是用来分享大家学习中使用的资料的，一个人学习，不如大家一起学习 基于adobe提供的一个文件帐号，来达到共享学习资料的模式，建议都传pdf的文档上来 国内登录，有些慢，需要一点耐心，但是能实现各个终端同步阅读pdf，同时又不用泄漏其他比较隐私的账号 网址：h…
  ☆12Sep 18, 2014Updated 11 years ago
• tsif / SourcePreview

  View on GitHub
  Quick look plugin for macOS for source code files
  ☆14Oct 22, 2018Updated 7 years ago
• magicbrush / DrawingByCodingTutorialDemos

  View on GitHub
  Demo Programs for Tutorial "Drawing by Coding"
  ☆10May 20, 2019Updated 6 years ago
• shenuiuin / nextcloud

  View on GitHub
  实验室私人网盘搭建
  ☆10Jul 29, 2019Updated 6 years ago
• powerlanguage / AutoBoba

  View on GitHub
  Order random boba
  ☆14Jul 7, 2019Updated 6 years ago
• MichaelBell / pico-projects

  View on GitHub
  Random small Raspberry Pico projects
  ☆17Dec 27, 2021Updated 4 years ago
• jwrubel / flipped-interview

  View on GitHub
  Process documentation and rationale for implementing the flipped interview model
  ☆13Jul 15, 2018Updated 7 years ago
• riba2534 / win2ray

  View on GitHub
  简洁稳定的 V2Ray Windows 客户端，不需要.Net运行库，生成的EXE非常小。
  ☆11Jul 3, 2020Updated 5 years ago
• Fedex100 / awesome-compilers

  View on GitHub
  ☆18Jun 3, 2017Updated 8 years ago
• peterhirschberg / GS.Pacman

  View on GitHub
  Pacman clone for the Apple IIGS computer
  ☆16Oct 11, 2021Updated 4 years ago
• sinhaapurva25 / interview-experiences

  View on GitHub
  Past interview questions.
  ☆13Feb 19, 2026Updated 2 weeks ago
• barafael / cute-copter

  View on GitHub
  ☆19Nov 5, 2022Updated 3 years ago
• kanugurajesh / DSA-Challenge

  View on GitHub
  A 45 days DSA challenge
  ☆13Jul 19, 2024Updated last year
• jackzhenguo / Python-Projects-for-Beginners-Chinese-Version

  View on GitHub
  《Python Projects for Beginners》中文版本
  ☆13Nov 23, 2020Updated 5 years ago
• iamishansharma / Placement-Preparation

  View on GitHub
  Solutions to problems from various topics and websites useful for Computer Science Placement Preparation.
  ☆14May 12, 2021Updated 4 years ago
• Amey-Thakur / COMPUTER-ORGANIZATION-AND-ARCHITECTURE-AND-PROCESSOR-ARCHITECTURE-LAB

  View on GitHub
  CSC403: Computer Organization and Architecture [COA] & CSL403: Processor Architecture Lab [PAL] | SE Semester IV | Computer Engineering
  ☆19Feb 20, 2026Updated 2 weeks ago
• mit-pdos / 6.826-2020-labs

  View on GitHub
  Lab assignments for 6.826
  ☆17Oct 20, 2020Updated 5 years ago
• lpointal / appbclp

  View on GitHub
  Scripts du livre Apprendre à Programmer avec Python de B.Cordeau et L.Pointal
  ☆18Nov 22, 2025Updated 3 months ago
• mihirm21 / mth_iitk

  View on GitHub
  IIT Kanpur - MTH course resources
  ☆24Dec 6, 2024Updated last year
• mit-pdos / 6.S060-labs

  View on GitHub
  Programming labs for 6.S060 (Foundations of Computer Security).
  ☆15Nov 19, 2021Updated 4 years ago
• 0xAX / 0xAX.github.io

  View on GitHub
  0xAX's blog
  ☆19Sep 14, 2025Updated 5 months ago
• PVPIN / pvpin_js_rt

  View on GitHub
  PVPIN的js运行环境
  ☆18Jun 23, 2018Updated 7 years ago
• abhineetsingh253 / ServiceNow-Interview-Questions

  View on GitHub
  A combined list of ServiceNow interview questions. Feel free to contribute! 🎓
  ☆23Sep 4, 2025Updated 6 months ago
• hummanta / awesome-compilers

  View on GitHub
  An opinionated list of awesome compiler frameworks, libraries, software and resources.
  ☆24Mar 29, 2025Updated 11 months ago
• evil-mad / robopaint-rt

  View on GitHub
  RoboPaint RT: Processing-based software for the WaterColorBot, to make and print drawings in real time.
  ☆22Oct 3, 2017Updated 8 years ago
• TellowKrinkle / mtl-gpu-asmcheck

  View on GitHub
  Tool for messing around with Apple GPU assembly
  ☆27Jan 24, 2021Updated 5 years ago
• cellularmitosis / awesome-swift-arm

  View on GitHub
  Everything I know about running Swift on ARM (Raspberry Pi, BeagleBone, etc)
  ☆19May 10, 2016Updated 9 years ago
• bromagosa / beetleCloud

  View on GitHub
  Parallel cloud for Beetle Blocks, plus its sharing site
  ☆20Sep 3, 2025Updated 6 months ago
• metanav / Nano_ESP32_Linux

  View on GitHub
  ☆21Aug 11, 2023Updated 2 years ago
• enjoy-digital / litex_rp2040_pmod_test

  View on GitHub
  Test of a RP2040 PMOD attached to a LiteX SoC.
  ☆28May 16, 2023Updated 2 years ago