divinrkz / typed-latex
A tool that analyzes LaTeX-written discrete math proofs and parses natural language to identify common proof type-errors.
β8Updated 4 months ago
Alternatives and similar repositories for typed-latex:
Users that are interested in typed-latex are comparing it to the libraries listed below
- A simple npm package to transfer packages and their dependecies across projects OFFLINEβ26Updated 2 years ago
- β9Updated last year
- Exploitig the EF platform to complete exercises without actual learning anything. For educational purposes only πβ17Updated 9 months ago
- β14Updated 10 months ago
- Simple and easy plus funβ12Updated 7 months ago
- A tool to automatically push at a regular interval while you write your code. Why push yourself when you can have script do it for you?β17Updated 2 years ago
- Twitter's Reflection!β13Updated 6 months ago
- The official webpage for the class of 2024 in RCA.β11Updated last year
- Connect-4-game in browser and terminal.β15Updated last year
- Ride-Share application challenge with google maps and react(nextjs)β19Updated 9 months ago
- β12Updated 4 months ago
- βLibrary Management Information System β.β18Updated last year
- Bringing Kin to VSCode (intellisense)β9Updated 9 months ago
- β14Updated 8 months ago
- β16Updated last year
- a simple web based api client with pre-request and post response code javascript code execution.β11Updated last month
- β10Updated 11 months ago
- This is a virtual cloth try on using AIβ21Updated 7 months ago
- Instagram's UI is too easy for me!β17Updated 6 months ago
- Realitime code sharing inspired by codeshare.ioβ14Updated 9 months ago
- β17Updated 8 months ago
- π¦ a simple odm with cli , for json file-as-bdβ33Updated last year
- With CLI, create a new github repo with basic setup.β20Updated 10 months ago
- π¦ recursive text searching algo. for small scale dataβ15Updated last year
- Git-like project describer π