Parser for Korean sentences along with a web-app providing simple access & parse-tree display
☆24Jan 27, 2019Updated 7 years ago
Alternatives and similar repositories for Korean-language-parser
Users that are interested in Korean-language-parser are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Proofmood is a computer logic system specifically tailored for Fitch calculus, covering propositional logic, first-order logic, and type …☆12Nov 1, 2023Updated 3 years ago
- Shortens a paragraph of text with ChatGPT, using successive rounds of word-level extractive summarization.☆11Aug 4, 2023Updated 3 years ago
- Korean UD Treebank.☆24Oct 30, 2026Updated last week
- 코로나-19 에 대한 확진/완치/사망 에 대한 국내, 해외 정보를 수집합니다. Data scrapes Covid-19 Confirmed/Cured/Deceases Cases.☆10Jun 6, 2021Updated 5 years ago
- [EMNLP 2022] Language Model Pre-Training with Sparse Latent Typing☆14Feb 10, 2023Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- This repo provides the implemetation of the paper How to train your agent to read and write?☆10Dec 29, 2020Updated 5 years ago
- Pecab: Pure python Korean morpheme analyzer based on Mecab☆172Apr 27, 2024Updated 2 years ago
- *slaps roof of source code* this bad boy can fit so many bugs in it☆12Jul 17, 2018Updated 8 years ago
- golang library for accessing squashfs filesystems that utilizes squashfs-tools-ng☆10Sep 12, 2023Updated 3 years ago
- DeepL을 통한 한국 번역 자동화 코드☆12Jul 27, 2023Updated 3 years ago
- A pretty printer for Lean 4☆10Mar 18, 2023Updated 3 years ago
- 2019 국어경진대회 한국어 의존구문 분석 대상(문체부 장관상)☆15Oct 26, 2022Updated 4 years ago
- A thin abstraction layer to integrate Bullet and OpenSceneGraph☆14Jun 12, 2026Updated 4 months ago
- A compact C library to parse SDLang (http://sdlang.org/) text.☆13Jun 8, 2020Updated 6 years 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.
- Setup for autograding of Lean homework using GitHub Classroom☆11Feb 11, 2022Updated 4 years ago
- 한국형 레이아웃 구성 도감 277종 — 구도·시각원칙·출판·한글조판·한국전통구도. 카드 한 장에 원리 하나.☆16Sep 2, 2026Updated 2 months ago
- A simple opengl spinning cube in pascal☆10Jul 6, 2026Updated 4 months ago
- Israel municipalities' geojson polygones☆10Jul 6, 2016Updated 10 years ago
- The platform for verified medical speakers and their recommendations.☆12Dec 25, 2023Updated 2 years ago
- Experimental deltachat client☆15May 11, 2024Updated 2 years ago
- Lean implementations of things found in Certified Programming with Dependent Types☆15Jun 5, 2022Updated 4 years ago
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- ☆11Jun 11, 2026Updated 4 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Flutter based Wayland compositor library☆17Apr 17, 2020Updated 6 years ago
- VKCapture with KMSGrab included☆12Sep 9, 2024Updated 2 years ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 3 years ago
- Services and guidelines for normalizing drug and other therapy terms☆15Oct 28, 2026Updated last week
- ☆14Sep 13, 2026Updated last month
- ☆14Oct 13, 2010Updated 16 years ago
- Community-curated OpenClaw skill listings — browse, submit, and contribute to ProSkills.md☆14Updated this week
- A basic Rasa project with Custom Components☆10Jan 27, 2022Updated 4 years ago
- A story of reconciliation, told through a magitech mod about exploration and factory-building.☆12Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A controlled natural language syntax for Lean.☆16Updated this week
- demonstrations of ES6/ES7 code styles with a Sudoku solver☆13Feb 7, 2015Updated 11 years ago
- Wayland client☆10Feb 25, 2024Updated 2 years ago
- fcsh-wrap is a wrapper for fcsh to give it a better user interface and allow you to run it from make.☆11Jul 5, 2013Updated 13 years ago
- Sokoban implementation in lean for proving solvability / unsolvability☆14Apr 21, 2021Updated 5 years ago
- One curl-likely command line tool in java.✈️Convert curl commands into java code and provide format and highlight preview of response.☆13Jan 31, 2018Updated 8 years ago
- A formatter/linter for Coq source☆14Jan 15, 2022Updated 4 years ago