archi-physics / archiLinks
General RAG framework specialized for scientific and academic applications.
☆25Updated this week
Alternatives and similar repositories for archi
Users that are interested in archi are comparing it to the libraries listed below
Sorting:
- Ancestor/descendant tree from Mathematics Genealogy Project, rendered to HTML☆19Updated last year
- Integration of Sandblocks with Tree-Sitter to load block-based languages from grammars☆14Updated 4 months ago
- Type-driven syntactic and semantic effectful parsing for NL☆15Updated 3 months ago
- *cheep cheep shriek caw*☆101Updated 2 years ago
- A collaborative environment for formal, interoperable, conceptual modeling☆146Updated this week
- This monorepo covers multiple QURI projects, including Squiggle language, Squiggle Hub and Metaforecast☆205Updated last week
- A program for making zooming slides in figma.☆41Updated 7 months ago
- LaTeX source for Sized Dependent Types via Extensional Type Theory☆12Updated last week
- A web-based application for collaborating on simulation models in real-time using Firebase☆39Updated last year
- An HTML+CSS template for making more accessible posters☆91Updated 3 years ago
- A semantic Extension of TeX/LaTeX☆55Updated 3 weeks ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆42Updated 9 months ago
- This is the repository for the Clowder project, an online collaborative resource for category theory and mathematics in general☆39Updated 5 months ago
- MIT semester course planning app☆30Updated last week
- Haskell library for parsing and evaluating typst☆68Updated last week
- AI-powered quiz generator☆27Updated 2 years ago
- A little library of bit-based data structures.☆21Updated 5 months ago
- Lean web editor☆129Updated last month
- 🗃️ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasoner☆64Updated 6 months ago
- Learn Lean and topology☆26Updated 2 years ago
- A program for drawing knots and links, with support for importing images☆33Updated 2 years ago
- Public issue tracker for garnix.io☆16Updated 3 years ago
- Solves Mazes taking an image input, along with the starting and ending points. There are two Algorithms here which solve mazes. One of th…☆18Updated 2 years ago
- An experimental language exploring computation and meaning through term unification, with logic-agnostic types.☆124Updated 2 weeks ago
- The Stan transpiler (from Stan to C++ and beyond).☆150Updated last week
- Forge: A Tool and Language for Teaching Formal Methods☆95Updated this week
- Override collection for uv2nix☆38Updated this week
- SWI-Prolog WebAssembly build as a NPM package☆58Updated this week
- ☆14Updated last year
- A sudoku game where you have to prove that your deductions are valid☆117Updated 3 years ago