A tool that analyzes LaTeX-written discrete math proofs and parses natural language to identify common proof type-errors.
☆10Oct 15, 2024Updated last year
Alternatives and similar repositories for typed-latex
Users that are interested in typed-latex are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Exploitig the EF platform to complete exercises without actual learning anything. For educational purposes only 😑☆18Apr 21, 2024Updated 2 years ago
- ♎Library Management Information System ♎.☆17May 16, 2023Updated 3 years 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?☆17Nov 8, 2022Updated 3 years ago
- a simple web based api client with pre-request and post response code javascript code execution.☆11Jan 5, 2025Updated last year
- Simple and easy plus fun☆11Jun 27, 2024Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Realitime code sharing inspired by codeshare.io☆14May 15, 2024Updated 2 years ago
- Twitter's Reflection!☆14May 14, 2026Updated 3 weeks ago
- A zero config opensource tool for documenting your Node.js Express APIs endpoints.☆45Oct 25, 2023Updated 2 years ago
- Connect-4-game in browser and terminal.☆15May 15, 2023Updated 3 years ago
- ☆17Sep 23, 2025Updated 8 months ago
- Ts/Js schema validator for Node and Browser☆18Jan 11, 2023Updated 3 years ago
- Ride-Share application challenge with google maps and react(nextjs)☆19May 4, 2024Updated 2 years ago
- Instagram's UI is too easy for me!☆18May 14, 2026Updated 3 weeks ago
- This is a virtual cloth try on using AI☆22Jun 25, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Manage terminal session commands with an ease!☆25Dec 1, 2023Updated 2 years ago
- read, write, memory-map, data-storage & RFID transaction SYSTEM.☆22Nov 2, 2023Updated 2 years ago
- Stunning icons for your next web project☆19Mar 6, 2023Updated 3 years ago
- ☆17Aug 30, 2025Updated 9 months ago
- Async Error Handling Middleware for ExpressJS with ESM/TypeScript support.☆26Jan 9, 2024Updated 2 years ago
- The Kin Programming Language ( Write computer programs in Kinyarwanda - native language for Rwandans )☆232Updated this week
- ☆14Jun 16, 2024Updated last year
- A simple spring boot boiler plate containing spring security updated version and swagger documentation☆12Apr 11, 2023Updated 3 years ago
- [Experimental] Run Programming Language. Compiled to bytecodes that run on Run Virtual machine (RVM)☆13Feb 2, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A curated list of awesome Go frameworks, libraries and software + implementation of algorithms and utility programs in Go☆78Feb 19, 2024Updated 2 years ago
- With CLI, create a new github repo with basic setup.☆20Mar 30, 2024Updated 2 years ago
- ☆13Jul 4, 2022Updated 3 years ago
- ⚡ A vite react typescript boilerplate with pre-configured sass, redux-tool-kit, tailwind, eslint, prettier & jest, i18n internalization, …☆22Nov 19, 2024Updated last year
- ☆12Sep 24, 2024Updated last year
- 📦 recursive text searching algo. for small scale data☆16Feb 7, 2024Updated 2 years ago
- A simple npm package to transfer packages and their dependecies across projects OFFLINE☆30Dec 2, 2022Updated 3 years ago
- The official webpage for the class of 2024 in RCA.☆11May 14, 2026Updated 3 weeks ago
- json as a db for your tiny backend☆35Jan 23, 2024Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆22Jun 13, 2024Updated last year
- Git-like project describer 📂☆41Jan 12, 2025Updated last year
- Archived repository that's since been moved to https://github.com/JoshuaKGoldberg/joshuakgoldberg-dot-com☆11Jul 20, 2023Updated 2 years ago
- ☆15Jul 17, 2023Updated 2 years ago
- Well implemented and optimized algorithms.☆67Jun 19, 2024Updated last year
- High-performance capability authorization engine for AI agents. Cryptographically attenuated warrants, task-scoped authority, verifiable …☆67Updated this week
- A simple Command Line Interface that allows you to authenticate with the Pindo API.☆47Jun 24, 2025Updated 11 months ago