☆69Sep 9, 2026Updated 2 weeks ago
Alternatives and similar repositories for KTPM-architecture-solution
Users that are interested in KTPM-architecture-solution are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A document class for VNU-UET graduation documents using LaTeX.☆109Dec 31, 2024Updated last year
- A framework for agentic tool use training with reinforcement learning☆205Apr 8, 2026Updated 5 months ago
- A minimalistic deep learning framework resembling PyTorch API.☆15Jan 5, 2026Updated 8 months ago
- Documents for certain courses at VNU-UET☆37Jun 11, 2025Updated last year
- ☆13Apr 8, 2022Updated 4 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Bounded verification of UML/OCL (or EMF/OCL) models☆17Jun 13, 2018Updated 8 years ago
- List of open source projects that are made by Vietnamese engineers☆12Jan 20, 2016Updated 10 years ago
- React ⚛️ ve Firebase 🔥 projesi☆15Sep 3, 2019Updated 7 years ago
- Refinery: an efficient graph solver for generating well-formed models☆21Updated this week
- An efficient graph solver for generating well-formed models☆25Apr 1, 2022Updated 4 years ago
- ☆28Sep 15, 2024Updated 2 years ago
- Code for Negation Neglect☆18May 22, 2026Updated 4 months ago
- map use to carla and apollo simulation☆24Jun 9, 2024Updated 2 years ago
- Targeted Data Generation with Large Language Models☆19Jun 25, 2024Updated 2 years ago
- 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.
- Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components …☆19Jul 17, 2026Updated 2 months ago
- Easily deploy my zsh and tmux configuration on new machines. Includes local and remote aliases to improve workflow.☆16Apr 23, 2026Updated 5 months ago
- A lightweight, zero-dependency Linux login monitor. Tracks SSH/sudo events via systemd-journald and sends real-time brute-force alerts to…☆27Aug 18, 2026Updated last month
- Business Process Modeling☆20Feb 27, 2021Updated 5 years ago
- Note: On Render, the frontend may start before the backend finishes initializing, so expect a short delay on first load.☆19Jan 30, 2026Updated 7 months ago
- alm0n for UET's viewgrade☆16Feb 7, 2023Updated 3 years ago
- ☆30Aug 18, 2023Updated 3 years ago
- ☆25Jul 8, 2026Updated 2 months ago
- A Benchmark of PDF Information Extraction Tools using a Multi-Task and Multi-Domain Evaluation Framework for Academic Documents☆33Dec 8, 2022Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- We combat sloppy arguments in competitive programming and raise the standard of rigor☆31Jul 23, 2025Updated last year
- Home of the UML-based Specification Environment (USE)☆81Jul 12, 2026Updated 2 months ago
- Code for ICML 2025 paper | Joint Localization and Activation Editing for Low-Resource Fine-Tuning☆28Jun 18, 2025Updated last year
- Retry Kafka, Redis Stream☆27Apr 24, 2025Updated last year
- [ICLR 25] A novel framework for building intrinsically interpretable LLMs with human-understandable concepts to ensure safety, reliabilit…☆34Feb 5, 2026Updated 7 months ago
- Từ điển Họ Tên trong Việt Nam☆111Nov 5, 2025Updated 10 months ago
- Connecting bv_decide to SMTLIB.☆19Aug 27, 2026Updated 3 weeks ago
- new work for RE paper☆15Nov 6, 2025Updated 10 months ago
- Multi-arch Docker images for Idris 2☆13Jul 14, 2026Updated 2 months ago
- 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 Rust library for concatenating string slices into owned strings.☆17Jul 13, 2023Updated 3 years ago
- An On-disk Key-value Storage Engine built from scratch in Go. Inspired by Google LevelDB.☆30Oct 23, 2025Updated 11 months ago
- Code and materials for "Weird Generalization and Inductive Backdoors"☆43Jan 11, 2026Updated 8 months ago
- Combinatorial phantom types for discrete mathematics☆16Dec 26, 2025Updated 8 months ago
- OpenGraph image generation for crates.io packages☆17Aug 9, 2026Updated last month
- A formal specification of the Yul IR semantics in the Lean proof assistant.☆15Jun 20, 2025Updated last year
- ☆11May 22, 2026Updated 4 months ago