Skip to content
@Bram-Hub

Bramhub

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

Pinned Loading

  1. LEGUP LEGUP Public

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

    Java 36 93

  2. VisualLogic VisualLogic Public

    Program to express formal logic visually using existential graphs

    C# 4

  3. Bram-File-Format Bram-File-Format Public

    An XML based file format for use in Bramhub software projects

    2 1

  4. aris aris Public

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

    Rust 12 4

  5. aris-java aris-java Public

    Forked from garberlog/ARIS

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

    Java 4 1

Repositories

Showing 10 of 91 repositories
  • 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
    Rust 12 GPL-3.0 4 14 (4 issues need help) 5 Updated Sep 11, 2026
  • 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
    Java 36 GPL-3.0 93 49 (7 issues need help) 2 Updated May 1, 2026
  • Knights-And-Knaves-Algebraic-Solver Public
    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
  • NanoNav Public
    Bram-Hub/NanoNav's past year of commit activity
    Python 2 MIT 1 0 0 Updated Nov 6, 2025
  • logician Public Forked from joyal-mathew/logician

    A boolean algebra expression simplifier

    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
  • TruthTree_solver Public Forked from Phon1209/TruthTree_solver
    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
View all repositories

Most used topics

Loading…