ku-formal / ec4219-software-engineeringView external linksLinks
☆12Jun 19, 2025Updated 7 months ago
Alternatives and similar repositories for ec4219-software-engineering
Users that are interested in ec4219-software-engineering are comparing it to the libraries listed below
Sorting:
- ☆24May 28, 2025Updated 8 months ago
- 지스트의 모든 공지를 한눈에☆11Nov 24, 2025Updated 2 months ago
- Euphony: a probabilistic model-guided program synthesizer☆27Nov 21, 2022Updated 3 years ago
- 👀✨ Fast backend framework☆10Nov 9, 2025Updated 3 months ago
- ☆14May 17, 2024Updated last year
- LocEmb: Location Embedding (Currently covering districts, roads, and businesses in Korea)☆11Aug 15, 2022Updated 3 years ago
- Pytorch Implementation of Lightweight and robust representation of economic scales from satellite imagery.☆13Nov 21, 2019Updated 6 years ago
- A practical fuzzing tool for SMT solvers☆11Nov 26, 2025Updated 2 months ago
- Do notation in Python.☆10Feb 22, 2021Updated 4 years ago
- Shaping Language Models with Cognitive Insights☆15Feb 29, 2024Updated last year
- 쉽게 이력서를 작성하고, 깃허브 페이지에 배포할 수 있게 도와주는 플랫폼☆11Mar 16, 2021Updated 4 years ago
- a safety verifier for Solidity smart contracts☆96Jan 17, 2023Updated 3 years ago
- This is the repo associated with the class 02805 "Social Graphs and Interactions" at the Technical University of Denmark☆10Nov 1, 2017Updated 8 years ago
- ☆10Jul 28, 2023Updated 2 years ago
- Effective Abstract Reasoning with Dual-Contrast Network☆11Jun 25, 2021Updated 4 years ago
- Customs Import Declaration Datasets☆10Feb 6, 2026Updated last week
- BOJ 대회의 뱃지 및 배경 정보를 확인하는 확장 프로그램☆12Feb 7, 2026Updated last week
- ☆12Feb 26, 2025Updated 11 months ago
- A tool for extracting plain text from Wikipedia dumps☆15Sep 13, 2018Updated 7 years ago
- C Compiler using Lex and Yacc tools☆13Dec 15, 2017Updated 8 years ago
- Concurrent-C to Rust Automatic Translator☆15Jan 26, 2023Updated 3 years ago
- Task-Guided Pair Embedding in Heterogeneous Network (CIKM 2019)☆12Aug 19, 2021Updated 4 years ago
- ☆14Jan 28, 2023Updated 3 years ago
- Data and code for the IEEE S&P'22 paper SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds☆60Jun 5, 2022Updated 3 years ago
- HTTP/1.1 client library for OCaml☆15Apr 28, 2020Updated 5 years ago
- The official implementation of 'A human-machine collaborative approach measures economic development using satellite imagery'.☆17Apr 11, 2023Updated 2 years ago
- ☆16Mar 11, 2022Updated 3 years ago
- Clean, extensible implementation of MACAW [ICML 2021]☆12Dec 7, 2021Updated 4 years ago
- The official source code for SIMPLOT: Enhancing Chart Question Answering by Distilling Essentials, accepted at NAACL 2025 (Findings).☆18Feb 4, 2025Updated last year
- Small Village is a project that will be developed similarly to Gather Town. It will be a serverless service built using Supabase, ReactJS…☆19Jul 17, 2025Updated 6 months ago
- SSumM: Sparse Summarization of Massive Graphs☆19Jun 2, 2020Updated 5 years ago
- CQRS + Event Sourcing Sample App with Kotlin, Spring Boot, Axon Framework, Kafka and Mongo☆18Apr 29, 2023Updated 2 years ago
- ☆19Nov 17, 2023Updated 2 years ago
- A project to automatically generate program repair recommendation in the field of smart contracts for given code snippets with their cont…☆16Aug 30, 2025Updated 5 months ago
- BACUDA project (WCO BAnd of CUstoms Data Analysts)☆15Jul 16, 2020Updated 5 years ago
- [EMNLP 2022] Official Pytorch implementation for "Tiny-NewsRec: Efficient and Effective PLM-based News Recommendation"☆18Sep 18, 2023Updated 2 years ago
- Persona2vec: A Flexible Multi-role Representations Learning Framework for Graphs☆20Apr 28, 2022Updated 3 years ago
- EOPL in Haskell☆22Nov 16, 2025Updated 2 months ago
- ☆68Aug 17, 2022Updated 3 years ago