LogiCola helps you learn logic. This is a web version of the original software built by the late Professor Harry Gensler.
☆65Sep 25, 2026Updated 2 weeks ago
Alternatives and similar repositories for logicola
Users that are interested in logicola are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- LOGOS Programming Language + Supercompiler + Proof Kernel + Wire Transport Codec☆42Jul 20, 2026Updated 2 months ago
- This repository is a transcription of the code from the YouTube channel 'Learn to Computer' (https://www.youtube.com/channel/UCcFVlUyZm22…☆11Jun 24, 2020Updated 6 years ago
- Code used in blog posts☆33May 13, 2025Updated last year
- Gradient Engineer: 60‑Second Linux Analysis (Nix + LLM)☆18Jul 3, 2026Updated 3 months ago
- ☆13Oct 2, 2026Updated last week
- 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.
- Juniper contains Azure business reporting utils and uses an high level computation expression on top of the EPPlus excel package to creat…☆14Oct 14, 2019Updated 6 years ago
- ☆13Mar 10, 2023Updated 3 years ago
- ai-search☆15May 14, 2019Updated 7 years ago
- Ruby script to convert Concepts SVG files into multiple PDF pages☆11Jun 1, 2022Updated 4 years ago
- A project that shows how to use the ImageProcessor package ImageProcessor.Plugins.WebP to convert images to WebP and how to serve WebP im…☆12Oct 1, 2019Updated 7 years ago
- Add information from CDP or LLDP to SCCM Hardware Inventory☆16May 14, 2021Updated 5 years ago
- ☆12Jun 10, 2022Updated 4 years ago
- A (mostly) SwiftUI application to interface with CBQN and ngn/k libraries into a (mostly) working repl.☆13Nov 23, 2023Updated 2 years ago
- Akka.NET serialization with MessagePack☆15May 4, 2026Updated 5 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆13May 7, 2025Updated last year
- ☆25Jan 22, 2025Updated last year
- ☆21Mar 5, 2020Updated 6 years ago
- ☆13Jun 2, 2020Updated 6 years ago
- this is the complete example from https://medium.com/@nirinchev/using-icon-fonts-with-xamarin-forms-16da98c98e05#.vxnqwte8i☆12Mar 9, 2016Updated 10 years ago
- KeyBox is a web-based SSH console that centrally manages administrative access to systems. Web-based administration is combined with mana…☆12Feb 17, 2017Updated 9 years ago
- Feliz wrapper for TailwindCSS component library☆14Dec 17, 2025Updated 9 months ago
- A plug-and-play library for neural networks written in FSharp☆14Aug 27, 2021Updated 5 years ago
- A simple example of setting up websockets using SAFE☆13Jul 26, 2024Updated 2 years ago
- 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.
- 🎴 An Anki plugin for Obsidian.md☆14Nov 12, 2023Updated 2 years ago
- an open source image projector build from scratch and based off of flea market parts.☆215Apr 8, 2025Updated last year
- An interpreter for the While language written in Haskell☆14Mar 26, 2020Updated 6 years ago
- Unix manual pages for R6RS and R7RS☆20Feb 11, 2024Updated 2 years ago
- RevLLM -- Reverse Engineering Tools for Large Language Models☆22Feb 29, 2024Updated 2 years ago
- A Laser Spot Detection Based on Boundary Point Set in Complex Indoor Scenes☆12Jan 11, 2022Updated 4 years ago
- An implementation of Defeasible Logic in Python☆15Sep 2, 2018Updated 8 years ago
- FSI ♥️ IDE☆20Feb 12, 2023Updated 3 years ago
- This project implenments the OSPF using Dijkstra algorithm (Open Shortest Path First) network protocol in python. Link-State Routing pr…☆12Sep 1, 2017Updated 9 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.
- This is a prototype of a Python module for simple modification of document files. ➡️ The project has moved to: https://gitlab.opencode.de…☆18Mar 20, 2026Updated 6 months ago
- React Native bindings for Feliz☆16Jan 7, 2023Updated 3 years ago
- GraphQL server using .NET 6, F# and Hot Chocolate 🍫☆17Dec 15, 2021Updated 4 years ago
- Web workers in Fable made easy, exposed as React hooks and Elmish commands.☆18Feb 8, 2022Updated 4 years ago
- ☆60Apr 17, 2025Updated last year
- Logging utilities that aimed to be used in highly loaded applications☆12Nov 10, 2017Updated 8 years ago
- Utilities of everyday use when writing Python code or Django projects.☆16Aug 31, 2025Updated last year