mit-submit / A2rchiLinks
An AI Augmented Research Chat Intelligence for MIT's subMIT project in the physics department
☆14Updated this week
Alternatives and similar repositories for A2rchi
Users that are interested in A2rchi are comparing it to the libraries listed below
Sorting:
- A Typst package for easy-to-use but powerful and smart margin notes.☆14Updated 4 months ago
- Ancestor/descendant tree from Mathematics Genealogy Project, rendered to HTML☆17Updated last year
- Syntax trees for typst☆36Updated 5 months ago
- A collaborative environment for formal, interoperable, conceptual modeling☆101Updated this week
- This monorepo covers multiple QURI projects, including Squiggle language, Squiggle Hub and Metaforecast☆190Updated 2 weeks ago
- Integration of Sandblocks with Tree-Sitter to load block-based languages from grammars☆14Updated last year
- Type-driven syntactic and semantic effectful parsing for NL☆15Updated 2 months ago
- Catalog of visual lambda calculi☆148Updated last month
- LaTeX source for Sized Dependent Types via Extensional Type Theory☆12Updated 2 years ago
- Authoring tools for scholarly communication. Create interactive web pages or formal research papers from markdown source.☆146Updated 4 months ago
- A textbook for Conway's Game of Life.☆35Updated 3 years ago
- Haskell library for parsing and evaluating typst☆64Updated 2 months ago
- A little library of bit-based data structures.☆17Updated 5 months ago
- Programmable, human-readable inlining of Python code☆28Updated 2 years ago
- (early experiments toward) a version-control system for structured data☆17Updated 2 years ago
- ☆43Updated this week
- Experimental, recursively-embeddable, domain-specific editors and text editor☆80Updated last year
- A program for making zooming slides in figma.☆38Updated last month
- arrows in arrows in arrows☆125Updated 6 months ago
- Tear open drawing canvases inside Jupyter code. In Python, read the canvases as NumPy image data.☆37Updated 2 years ago
- *cheep cheep shriek caw*☆93Updated last year
- Try a tactic at each step in a Lean proof.☆29Updated last month
- This is the repository for the Clowder project, an online collaborative resource for category theory and mathematics in general☆37Updated this week
- Library for writing interactive and visual Futhark programs☆22Updated last week
- A wiki for collaborative work on totally legitimate "category theory"☆118Updated last year
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆33Updated 3 months ago
- Listing of online math seminars☆43Updated 11 months ago
- Like APL, but with emojis☆15Updated 3 years ago
- SWI-Prolog WebAssembly build as a NPM package☆52Updated this week
- Repository for the QED interactive text and possible extensions☆104Updated 6 months ago