equational_theories

(β˜… 549)

A project to map out the relations between different equational theories of Magmas.

File Explorer

Download Latest Version (.zip)
  • .gitattributes
  • .gitignore
  • .gitpod.yml
  • CITATION.cff
  • CODE_OF_CONDUCT.md
  • CONTRIBUTING.md
  • equational-theories.code-workspace
  • equational_theories.lean
  • flake.lock
  • flake.nix
  • full_entries.json
  • lake-manifest.json
  • lakefile.toml
  • lean-toolchain
  • LICENSE
  • README.md
  • requirements.in
  • requirements.txt

# Installation Guide

1. Get the code
git clone https://github.com/teorth/equational_theories

Downloads the entire project code from GitHub to your computer.

cd equational_theories

Moves into the project folder you just downloaded.

2. Node.js

Easy Recommended
Prerequisites
  • Git Needed to download the project code from GitHub.
  • Node.js Node.js must be installed to use npm. The LTS version is recommended.
cd widget

This project's files live in a subfolder, so move into it first.

npm install

Downloads and installs the libraries listed in package.json.

npm start

Starts the development/run server.

βœ… After running the command, open the address shown in the terminal (usually something like http://localhost:3000) in your browser.

3. Python

Easy
Prerequisites
  • Git Needed to download the project code from GitHub.
  • Python 3 On Windows, be sure to check 'Add Python to PATH' during installation.
pip install -r requirements.txt

Installs the Python libraries listed in requirements.txt (or similar).

python <μ‹€ν–‰ν•  파일λͺ…>.py # READMEμ—μ„œ μ •ν™•ν•œ μ‹€ν–‰ 파일λͺ…을 ν™•μΈν•˜μ„Έμš”

Runs the Python script (or module).

βœ… If it runs without errors and prints output in the terminal, it worked.

4. Ruby

Easy
Prerequisites
  • Git Needed to download the project code from GitHub.
  • Ruby Ruby is required to use the bundle command.
cd home_page

This project's files live in a subfolder, so move into it first.

bundle install

Installs the Ruby libraries listed in the Gemfile.

βœ… If bundle install finishes without errors, continue with the run command from the README (e.g. rails server).

Today's picks

worldmonitor β˜… 83,628

Real-time global intelligence dashboard. AI-powered news aggregation, geopolitical monitor

TypeScript
TypeScript β˜… 110,354

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

Go
langchain β˜… 144,721

The agent engineering platform.

Python
hoppscotch β˜… 80,069

Open-Source API Development Ecosystem β€’ https://hoppscotch.io β€’ Offline, On-Prem & Cloud β€’

TypeScript
Agent-Reach β˜… 72,282

Give your AI agent eyes to see the entire internet. Read & search Twitter, Reddit, YouTube

Python
project-based-learning β˜… 280,216

Curated list of project-based tutorials

Python
// repository documentation