Prolog programs for Mathematical Logic for Computer Science (3rd Edition)
☆20Nov 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Anagram game for Android built with Unity☆11May 13, 2016Updated 10 years ago
- Year project - Pascal interpreter written in Java using Truffle API☆10Feb 5, 2021Updated 5 years ago
- Random Plotter scripts for HP7440A☆14May 23, 2019Updated 7 years ago
- ☆16Updated this week
- ☆13Nov 29, 2023Updated 2 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.
- Student lab assignments for MIT 6.1600☆11May 1, 2025Updated last year
- ☆13Nov 17, 2025Updated 9 months ago
- ☆15Jul 27, 2022Updated 4 years ago
- Menu system for Pimoroni Pico display on Raspberry Pi Pico☆10Mar 13, 2021Updated 5 years ago
- Process documentation and rationale for implementing the flipped interview model☆13Jul 15, 2018Updated 8 years ago
- Support for Ada and SPARK languages in IntelliJ IDEA☆22Oct 17, 2022Updated 3 years ago
- Random small Raspberry Pico projects☆17Dec 27, 2021Updated 4 years ago
- LZVN compression/decompression tool☆20Feb 9, 2021Updated 5 years ago
- Example of testing a driver crate using mocks and `defmt-test`.☆10Aug 19, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Package pubsub is a simple publish-subscribe implementation using generics.☆13Dec 7, 2025Updated 8 months ago
- Quick look plugin for macOS for source code files☆14Oct 22, 2018Updated 7 years ago
- ☆27Jun 1, 2014Updated 12 years ago
- Dart bindings for the polars library☆13Apr 8, 2024Updated 2 years ago
- Solutions to Imperial College London's Natural Number Game, a gamified formal mathematics course on the Peano axioms using an interactive…☆23Dec 12, 2021Updated 4 years ago
- NES & SNES Controller Driver for 6502 (Commodore 64)☆17Aug 10, 2019Updated 7 years ago
- A version of uLisp to convert the LilyGO T-Deck into a self-contained handheld Lisp computer.☆28Apr 6, 2026Updated 4 months ago
- go-binfmt registers Go language .go files with binfmt which allows you to run Go files directly.☆16Dec 4, 2012Updated 13 years ago
- ☆20Oct 24, 2017Updated 8 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Assignment submissions of the semester 2020-21-II offering of CS220 at IIT Kanpur☆12May 4, 2021Updated 5 years ago
- Tool for messing around with Apple GPU assembly☆28Jan 24, 2021Updated 5 years ago
- 一键批量抠图！移除人物图片背景的工具！☆11Mar 10, 2025Updated last year
- Mathematics projects in p5js, Mathbox, MathCell and more☆28May 29, 2026Updated 2 months ago
- Portable matrix multiplication library in C☆21May 8, 2019Updated 7 years ago
- Program Analysis framework using LLVM. Course project of Advanced Compiler☆18Mar 28, 2017Updated 9 years ago
- eleventy source for miriamsuzanne.com☆32Mar 10, 2026Updated 5 months ago
- A collection of how to draw a circle with a computer. Please fork for your way of drawing a circle.☆11Dec 4, 2014Updated 11 years ago
- An Arduino IDE pluggable-discovery for Serial ports☆25Updated this week
- 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.
- Python script to convert Apple II/III .DSK (DO) images to ProDOS-ordered images☆15Feb 25, 2024Updated 2 years ago
- Rust's missing `String` literal☆18Jun 26, 2019Updated 7 years ago
- A math animation library based on the blender python api☆21Updated this week
- ☆19Aug 15, 2021Updated 5 years ago
- 实验室私人网盘搭建☆10Jul 29, 2019Updated 7 years ago
- How to hack Snap! Build Your Own Blocks☆10Apr 7, 2015Updated 11 years ago
- MOCKA Modula-2 Compiler System, originally by GMD☆24Aug 8, 2026Updated 2 weeks ago