Repo for the Modoocode.
☆60Nov 22, 2024Updated last year
Alternatives and similar repositories for ModooCode
Users that are interested in ModooCode are comparing it to the libraries listed below
Sorting:
- ☆16Apr 15, 2025Updated 10 months ago
- The Coq development of A Promising Semantics for Relaxed-Memory Concurrency☆43Oct 15, 2024Updated last year
- Lightweight PDF Q&A tool powered by RAG (Retrieval-Augmented Generation) with MCP (Model Context Protocol) Support.☆22Oct 27, 2025Updated 4 months ago
- 143분동안 익히는 LaTeX 2e (lshort-ko)☆25May 6, 2025Updated 9 months ago
- articles about speech recognition☆25Oct 6, 2022Updated 3 years ago
- 거의 아무 때나 사용할 수 있는 CMake 템플릿☆97Nov 27, 2022Updated 3 years ago
- 3D Kalman Filter - C++ Implementation☆16Jun 2, 2024Updated last year
- Programmer Guide (for Korean): TensorFlow Eager Execution☆29Apr 13, 2018Updated 7 years ago
- Cryptris, a game about asymmetric cryptography☆18Sep 6, 2014Updated 11 years ago
- Spring 2021 Short Course materials☆12Dec 2, 2024Updated last year
- ☆75Nov 21, 2024Updated last year
- This repo is used to train and run OCR model which is based on original CRNN and change it's backbone to the ResNet34.☆10Jan 15, 2021Updated 5 years ago
- Simple web applications for the AGL platform.☆12Jun 17, 2022Updated 3 years ago
- One-for-all python script for running LLVM experiment☆11Jun 30, 2022Updated 3 years ago
- Settings application☆12Sep 6, 2023Updated 2 years ago
- Personal website for Chanyub Park.☆10Apr 22, 2023Updated 2 years ago
- 응 아니야 - 백준 채점 결과 메시지를 바꿔줍니다.☆31Sep 22, 2020Updated 5 years ago
- BOJ 스페셜 저지를 만들어 봅시다☆32Jan 2, 2021Updated 5 years ago
- 소프트웨어 개발의 원리와 실습☆27Dec 21, 2020Updated 5 years ago
- Auto-formatter for OCaml code☆11Oct 24, 2025Updated 4 months ago
- Interactive Configuration Backup Manager☆11Jan 6, 2023Updated 3 years ago
- ☆13Mar 25, 2025Updated 11 months ago
- ☆11Apr 27, 2021Updated 4 years ago
- Tool and library for generating X.509 certificates and certificate requests (mirror)☆16Oct 13, 2021Updated 4 years ago
- Implements PyTorch model which updates SPD weights on Riemannian Manifold. Based on Huang, Z., & Van Gool, L. (2016). A Riemannian Netwo…☆12Mar 8, 2019Updated 6 years ago
- With one whole audio and corresponding text, the audio can be split line by line and saved with exact sentence using comparison with the …☆10Feb 28, 2019Updated 7 years ago
- Learning Spring 5.0, published by Packt☆10Oct 31, 2022Updated 3 years ago
- On November 21, 1972, Kim Doo-han collapsed due to high blood pressure, an orange disease.☆11Jun 27, 2022Updated 3 years ago
- This is a C++ implementation of AAAI2019 paper LDES tracker. Now branch square is available, which uses square templates☆10Aug 8, 2019Updated 6 years ago
- This is the tool released in ICSE 2022 paper "Static Inference Meets Deep Learning: A Hybrid Type Inference Approach for Python"☆46Oct 19, 2023Updated 2 years ago
- An OCaml implementation of the DPLL algorithm for solving SAT instances. Uses nothing beyond the OCaml List library.☆19Sep 5, 2014Updated 11 years ago
- A Visual Studio project demonstrating how to perform object tracking across video frames with YOLOX, ONNX Runtime, and the ByteTrack-Eige…☆12Nov 19, 2023Updated 2 years ago
- Collection of interesting patterns, inspired by nature, powered by p5js☆10Jun 2, 2018Updated 7 years ago
- a lisp interpreter written in Go☆14Jun 24, 2020Updated 5 years ago
- Solvers and makers for Pencil Puzzles☆19Nov 15, 2011Updated 14 years ago
- ☆11Sep 14, 2020Updated 5 years ago
- Share one mouse and keyboard between multiple computers on your desk.☆10Mar 17, 2017Updated 8 years ago
- A Neovim client for VsCoq 2 vscoqtop.☆12Nov 8, 2025Updated 3 months ago
- Ocamlgraph overlay for llvm☆20Apr 4, 2015Updated 10 years ago