malikpiara / logicolaView external linksLinks
LogiCola helps you learn logic. This is a web version of the original software built by the late Professor Harry Gensler.
☆58Jan 25, 2026Updated 3 weeks ago
Alternatives and similar repositories for logicola
Users that are interested in logicola are comparing it to the libraries listed below
Sorting:
- ☆12Mar 31, 2024Updated last year
- ☆21Mar 5, 2020Updated 5 years ago
- Plan✕ is a platform for creating and publishing digital planning services☆17Updated this week
- ZAPISEC WAF-Copilot is an automated AI-powered security framework for web applications with a focus on highly configurable streamlined vu…☆21Oct 6, 2025Updated 4 months ago
- A proc-macro that checks if blockers (issues) have been resolved.☆36Oct 29, 2020Updated 5 years ago
- ☆10Sep 27, 2023Updated 2 years ago
- A tracing tool to analyze the I/O behavior of a program.☆12Sep 25, 2019Updated 6 years ago
- Creates CycloneDX Software Bill of Materials (SBOM) from Ruby projects☆36Jan 12, 2026Updated last month
- This repository contains the Parasol processor, which enables next-generation privacy preserving applications. Users can run arbitrary co…☆11Jan 5, 2026Updated last month
- SuperCollider classes for communicating with Open Brain Computer Interface☆12Jan 16, 2024Updated 2 years ago
- Transform messy HTML from Google Docs into well-structured HTML!☆13Jul 10, 2025Updated 7 months ago
- Sample Phoenix apps to demonstrate OpenTracing with Elixir☆10Oct 27, 2017Updated 8 years ago
- Symbian Utilities☆11Nov 7, 2016Updated 9 years ago
- Machine Learning for Mathematical Formalization☆11Jul 20, 2024Updated last year
- This repository holds all material related to the Ory Summit, specifically the presentations.☆12Oct 22, 2025Updated 3 months ago
- Documentation about the Tympan☆14Jun 14, 2022Updated 3 years ago
- Python platform for parallel Surrogate-Based Optimization☆12Nov 27, 2024Updated last year
- Direct transcription of an optimal control problem and resolution☆12Feb 7, 2026Updated last week
- ☆15Sep 7, 2025Updated 5 months ago
- A stochastic method to generate an approximation to the Sierpinski triangle☆42Dec 27, 2021Updated 4 years ago
- Enforced, Annotated Schema for Ruby Sequel Models☆41Nov 29, 2015Updated 10 years ago
- Track licenses and approvals☆14Apr 1, 2024Updated last year
- Enforce Rust documentation correctness☆14Dec 1, 2022Updated 3 years ago
- WIP; specification of a format for communicating streams of HTTP requests and responses☆14Mar 29, 2024Updated last year
- teensy 3.6 Software for my cdj 1000 mk3 midi conversion☆13Jul 27, 2017Updated 8 years ago
- JSON-related helpers for your Elixir testing needs☆10May 17, 2018Updated 7 years ago
- Performant GraphQL backends made easy☆12Sep 6, 2024Updated last year
- everyday parsing, language tools, and more☆16Jul 3, 2025Updated 7 months ago
- SRP (Secure Remote Password) 6/6a library for Elixir☆12Nov 5, 2017Updated 8 years ago
- ☆14Dec 12, 2023Updated 2 years ago
- Tool to profile usage of HPC resources by regularly probing processes.☆11Updated this week
- Simplecast Gem☆11Jun 21, 2018Updated 7 years ago
- ☆45Nov 13, 2010Updated 15 years ago
- Ruby Gem to customize large SQL queries with ERB.☆10Apr 1, 2015Updated 10 years ago
- Main repository of the Flint project for Spark and Amazon EMR.☆11Jan 31, 2020Updated 6 years ago
- ☆12Jul 4, 2024Updated last year
- Find bottlenecks in your test suites☆17Jan 26, 2026Updated 2 weeks ago
- Graphics pipeline tool for Neo Geo development☆12Nov 3, 2024Updated last year
- Drupal operator for Kubernetes (In Development)☆11Oct 12, 2020Updated 5 years ago