◐ Shell
clean mode source ↗

Bramhub

@Bram-Hub

https://docs.google.com/spreadsheets/d/1uqM-Tg2GsQKJa4C5sgoPpsJ-QkIv8I0VgckpIV9nZlk/edit?usp=sharing

  • Verified

    We've verified that the organization Bram-Hub controls the domain:

    • bramhub.com

Pinned Loading

  1. Logic Engine for Grid-Using Puzzles - a better way to learn formal logic

    Java 37 91

  2. Program to express formal logic visually using existential graphs

    C# 4

  3. An XML based file format for use in Bramhub software projects

    2 1

  4. Aris: a logic engine/formal proof interface; 3nd generation, successor to the Java version of Aris.

    Rust 14 3

  5. Forked from garberlog/ARIS

    Aris: a logic engine/formal proof interface; 2nd generation, successor to the C version of Aris.

    Java 4 1

Repositories

Type
Select type

Language
Select language

Sort
Select order

Showing 10 of 91 repositories

  • Sunflower Public

    A React TypeScript interface for creating recursive functions from drag-and-drop blocks.

    Bram-Hub/Sunflower’s past year of commit activity

    TypeScript 0 GPL-3.0

    1 2 0

    Updated May 18, 2026

  • LEGUP Public

    Logic Engine for Grid-Using Puzzles - a better way to learn formal logic

    Bram-Hub/LEGUP’s past year of commit activity

  • Bram-Hub/Knights-And-Knaves-Algebraic-Solver’s past year of commit activity

    Python 0 CC-BY-SA-4.0 0

    0 0

    Updated Apr 29, 2026

  • aris Public

    Aris: a logic engine/formal proof interface; 3nd generation, successor to the Java version of Aris.

    Bram-Hub/aris’s past year of commit activity

  • Bram-Hub/NanoNav’s past year of commit activity

    Python

    1

    MIT

    1 0 0

    Updated Nov 6, 2025

  • Bram-Hub/logician’s past year of commit activity

    Rust 0

    1 0 0

    Updated Aug 26, 2025

  • Willow Public

    A web-based tool for creating and validating truth trees

    Bram-Hub/Willow’s past year of commit activity

    TypeScript

    8

    MIT

    7 10 4

    Updated Sep 10, 2024

  • AMS Public

    Abacus Machine Simulator (Originally known as Your Abacus Machine Simulator)

    Bram-Hub/AMS’s past year of commit activity

    Java

    1 4 0 3

    Updated May 8, 2024

  • Bram-Hub/TruthTree_solver’s past year of commit activity

    TypeScript 0

    1 0 0

    Updated Apr 23, 2024

  • HASSPathways Public

    An interactive web application that allows students to navigate through their selected HASS integrated pathway courses

    Bram-Hub/HASSPathways’s past year of commit activity

    Vue

    3

    MIT

    8 6 5

    Updated Apr 12, 2024

Most used topics

Loading…