St Andrews Computer Science Checker
☆19Feb 2, 2026Updated last month
Alternatives and similar repositories for stacscheck
Users that are interested in stacscheck are comparing it to the libraries listed below
Sorting:
- ☆15Mar 15, 2024Updated last year
- Scalar feature extractor for AI planning problems and domains in PDDL format☆16Dec 14, 2020Updated 5 years ago
- MATLAB program for automated categorisation of tonal animal sounds☆10Feb 25, 2026Updated last week
- Powerlifted Planner☆34Nov 13, 2025Updated 3 months ago
- Meta-Reinforcement Learning with Policy Residual Representation☆11Aug 15, 2019Updated 6 years ago
- A benchmark library for constraints☆99Updated this week
- Hypergraph Case-Based Reasoning☆12Jun 14, 2018Updated 7 years ago
- White paper/journal paper on best practices developing sustainable scientific software☆10Jul 4, 2017Updated 8 years ago
- RODI Relational-to-Ontology Mapping Quality Benchmark☆11Feb 24, 2026Updated last week
- Illustrations of codeql's AST☆12Sep 10, 2021Updated 4 years ago
- Old website for the UK Society of Research Software Engineers - not the source for the live site at rse.ac.uk. To suggest changes to that…☆12Jun 4, 2024Updated last year
- ☆12Nov 29, 2023Updated 2 years ago
- A Julia Package for the ACT-R Cognitive Architecture☆12Oct 30, 2025Updated 4 months ago
- Reinforcement Learning☆12Jun 22, 2017Updated 8 years ago
- Basic package manager for GAP☆12Nov 25, 2025Updated 3 months ago
- Julia package for scenario generation for stochastic programs with tail risk measure☆11Nov 16, 2022Updated 3 years ago
- A collection of problem specifications in Essence.☆10Dec 4, 2025Updated 3 months ago
- Edutainment game teaching players concepts around machine learning☆15Feb 18, 2020Updated 6 years ago
- ☆12Jul 6, 2023Updated 2 years ago
- CHERI sample C programs☆12Jan 16, 2025Updated last year
- A rule-based stream reasoning engine utilizing sliding windows☆10Jun 3, 2022Updated 3 years ago
- Genetic algorithms using Golang Generics.☆14Jul 12, 2022Updated 3 years ago
- Products from Working towards Sustainable Software for Science: Practice and Experiences (WSSSPE) activities☆17Dec 4, 2018Updated 7 years ago
- Investigating code and data citations in published papers☆11Sep 17, 2018Updated 7 years ago
- Inter-process communication, synchronization & scheduling algorithms☆12Jul 31, 2019Updated 6 years ago
- Analysis code for knowledge discovery project☆12Sep 25, 2018Updated 7 years ago
- Generate mutated sequence files from a reference genome.☆11Dec 26, 2022Updated 3 years ago
- Demo for Plan Recognition as Planning over Classical Action Theories☆12Dec 29, 2016Updated 9 years ago
- A python library for generating macro-economic scenarios☆10Dec 17, 2024Updated last year
- Provides a reference implementation of FeatherweightRust in Java.☆15Oct 28, 2021Updated 4 years ago
- ☆12Apr 27, 2023Updated 2 years ago
- An introduction to singularity☆13Dec 3, 2024Updated last year
- ReScience article repository☆13Sep 14, 2016Updated 9 years ago
- Mary is the successor of Marx, a content delivery and assessment engine based on markdown and git☆17Jan 23, 2024Updated 2 years ago
- Template for easily using GitHub Pages within GAP packages☆14Oct 2, 2025Updated 5 months ago
- Python computational experiment management☆12Jul 21, 2022Updated 3 years ago
- Cyberex Secure is planned to be a security solution with a wide range of features such as phishing detection, advanced AI- face recognit…☆12Apr 5, 2023Updated 2 years ago
- Incremental RTEC is the incremental extension of RTEC (https://github.com/aartikis/RTEC) for handling more efficiently out-of-order strea…☆13Nov 26, 2021Updated 4 years ago
- An OpenMath 2.0 implementation in Python☆17May 22, 2020Updated 5 years ago