☆23Dec 2, 2024Updated last year
Alternatives and similar repositories for typecart
Users that are interested in typecart are comparing it to the libraries listed below
Sorting:
- The TacTok automated Coq proof script synthesis tool☆17Jan 9, 2024Updated 2 years ago
- ☆44Updated this week
- A tool for obtaining LTL formulas from a sample of positive and negative words.☆26Jun 21, 2022Updated 3 years ago
- Source repo of the eks-upgrades workshop☆25Feb 11, 2025Updated last year
- app-server-migration helps in discovering the changes required to migrate the code from source server to target server and provides effor…☆16Dec 20, 2025Updated 2 months ago
- Notebooks and sample code for Build On Trainium☆47Jan 14, 2026Updated last month
- An open bibliography of machine learning for formal proof papers☆32Sep 30, 2023Updated 2 years ago
- A generalized ESPRIT algorithm for MATLAB☆15Jan 28, 2021Updated 5 years ago
- ☆10Mar 24, 2025Updated 11 months ago
- SymDiff-Differential-Program-Verifier☆38Aug 21, 2025Updated 6 months ago
- ☆13Jan 28, 2024Updated 2 years ago
- ☆16Oct 24, 2021Updated 4 years ago
- A Discord bot that replaces twitter URLs with vxtwitter for videos and GIFs.☆13Feb 25, 2023Updated 3 years ago
- ☆13Jul 28, 2025Updated 7 months ago
- Sequence diagram generator with simple text based grammar, to make it quick and easy to share ideas and document your system. Copy to cli…☆11Dec 20, 2020Updated 5 years ago
- A Google Chrome extension to open/edit latex files online using www.overleaf.com without the need of any software to be installed.☆10Dec 16, 2016Updated 9 years ago
- Repository for Stellaris Immortal alpha☆17May 9, 2020Updated 5 years ago
- 下载豆瓣电子书☆10Apr 25, 2017Updated 8 years ago
- Amazon Q Business enables querying structured data using natural language, leveraging schemas and metadata. This example demonstrates an …☆19Nov 13, 2024Updated last year
- Fastened CROWN: Tightened Neural Network Robustness Certificates☆10Feb 10, 2020Updated 6 years ago
- MLOps Pipeline for Amazon Forecast written in AWS CDK☆11Apr 10, 2025Updated 10 months ago
- ☆13Oct 9, 2023Updated 2 years ago
- This repository shows how to use CDK Pipelines to create a cross-account CI/CD pipeline for Amazon Elastic Container Service (ECS)☆12Jul 25, 2023Updated 2 years ago
- Aplicación de Recomendador de Anime utilizando Amazon Personalize en tiempo real.☆12Apr 11, 2023Updated 2 years ago
- A program to automatically infer differential privacy properties of your julia source code.☆12May 12, 2022Updated 3 years ago
- A project to learn terraform using AzureRM provider, and get hands on experience.☆11Nov 6, 2020Updated 5 years ago
- Praat scripting入门☆15Apr 8, 2025Updated 10 months ago
- Adds color to your Wolfram Language outputs in an ANSI capable terminal☆10Sep 19, 2019Updated 6 years ago
- Campanella - Open-source bell management system☆11Feb 18, 2018Updated 8 years ago
- Additional features supporting paclets in Mathematica☆15Oct 3, 2017Updated 8 years ago
- Free, open-source applications to convert between drum MIDI mappings☆12May 12, 2023Updated 2 years ago
- CLI based tool for global dns [propagation] check☆27Apr 22, 2017Updated 8 years ago
- Rigorous moment propagation with partial information about moments and dependencies in Julia☆12May 7, 2022Updated 3 years ago
- In this project, a framework is developed leveraging the capabilities of artificial neural networks to “caption an image based on its sig…☆11Mar 6, 2022Updated 3 years ago
- 基于一阶泰勒展开的点堆中子动力学方程求解程序☆16Mar 18, 2019Updated 6 years ago
- Build and deploy AWS CDK apps and CFN templates from within Electron☆10Feb 24, 2026Updated last week
- Repository for the Control of Stochastic Quantum Dynamics with Differentiable Programming paper.☆16Feb 16, 2021Updated 5 years ago
- A Type System Attempt for Wolfram Language☆13Feb 28, 2021Updated 5 years ago
- ☆18Apr 22, 2022Updated 3 years ago