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
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Realitime code sharing inspired by codeshare.io☆14May 15, 2024Updated 2 years ago
- Twitter's Reflection!☆14Updated this week
- 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 7 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!☆18Updated this week
- This is a virtual cloth try on using AI☆22Jun 25, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 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☆20Mar 6, 2023Updated 3 years ago
- ☆17Aug 30, 2025Updated 8 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
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 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.☆11Updated this week
- json as a db for your tiny backend☆35Jan 23, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆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
- High-performance capability authorization engine for AI agents. Cryptographically attenuated warrants, task-scoped authority, verifiable …☆61May 11, 2026Updated last week
- ☆15Jul 17, 2023Updated 2 years ago
- Well implemented and optimized algorithms.☆67Jun 19, 2024Updated last year
- A simple Command Line Interface that allows you to authenticate with the Pindo API.☆49Jun 24, 2025Updated 10 months ago