☆37Dec 10, 2020Updated 5 years ago
Alternatives and similar repositories for EmseUvic2020
Users that are interested in EmseUvic2020 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆14Mar 4, 2021Updated 5 years ago
- A course on free/libre and open source software☆11Oct 16, 2025Updated 5 months ago
- Tools and standards for conducting and evaluating research in software engineering☆323Updated this week
- The Department of Reuse tracks and documents reuse of artifacts in computer science (starting with the SE field)☆17Dec 17, 2024Updated last year
- ☆10Aug 3, 2025Updated 7 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Supplementary material for MSR2017 paper Structure and Evolution of Package Dependency Networks☆18Oct 8, 2018Updated 7 years ago
- Python code for training models in the ACL paper, "Simple and Effective Paraphrastic Similarity from Parallel Translations".☆22Oct 3, 2019Updated 6 years ago
- Blurhash in Erlang☆11Mar 5, 2023Updated 3 years ago
- Automated AI Model Metadata eXtractor - automatically extracts and infers AI model-related from software repositories☆11Sep 21, 2025Updated 6 months ago
- Open paper reading club @ JetBrains☆38Oct 14, 2024Updated last year
- Software Engineering for AI/ML -- An Annotated Bibliography☆335Jul 16, 2024Updated last year
- Tool for analyzing git log messages and diffs.☆22Jan 13, 2021Updated 5 years ago
- ☆15Dec 27, 2018Updated 7 years ago
- The Fast Lines of Code Counter☆11Aug 22, 2025Updated 7 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Rules for writing academic papers and checking them using LTex-ls and LanguageTool☆19Feb 18, 2025Updated last year
- AI Intent Driven Development (IDD) guidelines and instructions for AI Coding Agents, AI Coding Assistants, and LLMs.☆31Jan 27, 2026Updated 2 months ago
- Static code analysis package for Python repositories☆34Nov 25, 2023Updated 2 years ago
- A scalable error-friendly factories for your Elixir apps☆10Oct 13, 2020Updated 5 years ago
- research software encyclopedia database☆14Updated this week
- practical projects to put in practice elixir and erlang/otp concepts☆11Dec 4, 2024Updated last year
- Elixir for Everybody☆17Jun 14, 2024Updated last year
- A guide to resources for software engineering students☆45Aug 7, 2024Updated last year
- ☆16Jan 4, 2024Updated 2 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- A curated repository of software engineering repository mining data sets☆474Nov 3, 2025Updated 4 months ago
- ☆19Nov 28, 2020Updated 5 years ago
- Platform-aware programming in Julia☆13Nov 29, 2024Updated last year
- Body Sensor Network (BSN): a prototype for exercising dependable adaptation in healthcare domain.☆13May 8, 2024Updated last year
- Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications☆19Nov 26, 2024Updated last year
- ☆11Jul 6, 2023Updated 2 years ago
- 🇧🇷/🇺🇸 Palestras que já ministrei em eventos de tecnologia☆16Feb 1, 2022Updated 4 years ago
- ☆11Feb 20, 2021Updated 5 years ago
- Coq utility and tactic library.☆27Dec 9, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- A reflection-based proof tactic for lattices in Coq☆21Mar 17, 2026Updated last week
- forked from scfc/checkwiki/tree/pu/tools-migration☆11Dec 18, 2025Updated 3 months ago
- Research and documentation on package management☆24Sep 2, 2021Updated 4 years ago
- A Gleam syntax highlighter in Gleam☆23Oct 14, 2025Updated 5 months ago
- TheDeepChecker: Dynamic Debugger for Neural Networks Training Programs☆10Nov 2, 2022Updated 3 years ago
- Formalisms Every Computer Scientist Should Know (course at ISTA)☆15Feb 8, 2024Updated 2 years ago
- Implementation of the HERMES workflow☆31Updated this week