Structure Explorer is an interactive tool for creating, editing, and analyzing first-order logic structures, allowing users to evaluate formulas and terms within them. It features a graph-based visualization and includes the Henkin-Hintikka game for educational exploration. This project is designed for students and researchers studying formal logic and model theory.
Total donated
Undistributed
Share with your subscribers:
Recipients
How the donated funds are distributed
Support the dependencies of fmfi-uk-1-ain-412/structure-explorer
A JavaScript parser for first-order logic languages
Custom jest matchers to test the state of the DOM
Simple and complete React DOM testing utilities that encourage good testing practices.
Fire events the same way the user does
TypeScript definitions for jest
Find the closest parent that matches a selector.
Graph layout for JavaScript
Create your next immutable state by mutating the current one
Math.js is an extensive math library for JavaScript and Node.js. It features a flexible expression parser with support for symbolic computation, comes with a large set of built-in functions and consta
parse argument options
Comprehensive pathfinding library for grid based games
Bootstrap 5 components built with React
A React component for the font-awesome icon library.
Configuration and scripts for Create React App.
React split-pane component with hooks and TypeScript
Predictable state container for JavaScript apps
Selectors for Redux.
A polyfill for the Resize Observer API
Fast, expressive styling for React.
TypeScript is a language for application scale JavaScript development
Babel command line.
Babel preset for all React plugins.
CLI utility that isolates styles in css files. That means it modifies css rules so they are applied only inside element with specified class. This is achieved by using nesting functionality of less co
TypeScript definitions for lodash
TypeScript definitions for react-fontawesome
TypeScript definitions for react-redux
TypeScript definitions for react-toggle
copy some files
Publish to a gh-pages branch on GitHub (or any other branch on any other remote)
Simple monitor script for use during development of a Node.js app.
Official React bindings for Redux
Support the repos that depend on this repository
Recent events
Kivach works on the Obyte network, and therefore you can track all donations.
No events yet
