☆42Jan 12, 2018Updated 8 years ago
Alternatives and similar repositories for CS500
Users that are interested in CS500 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A text-based adventure game written in Java☆10Feb 7, 2018Updated 8 years ago
- math puzzles from various sources, formalized in Lean☆10Oct 21, 2023Updated 2 years ago
- ☆13Aug 29, 2025Updated 8 months ago
- Lecture notes, exercises, homeworks for Brown CS1951x 2023☆12Jan 31, 2024Updated 2 years ago
- A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"☆13Jul 7, 2023Updated 2 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- AI agent skills for applying Feature-Sliced Design (FSD) v2.1 in frontend projects.☆25Updated this week
- Award-winning adventure game from PyWeek 19☆10Jul 13, 2019Updated 6 years ago
- A conda-smithy repository for arrow-cpp.☆12Apr 29, 2026Updated last week
- Printable (A4) overview of tactics in Lean 4 for beginners☆31Sep 19, 2024Updated last year
- Ferramenta para acompanhamento e extração de informação do Git.☆16Jan 7, 2023Updated 3 years ago
- Ansible Roles for managing Azure Resources☆13Nov 11, 2025Updated 5 months ago
- A Hatch plugin to enable building a conda package from your pyproject.toml without having to write a separate conda build recipe meta.yam…☆11Apr 24, 2025Updated last year
- ☆16Dec 5, 2024Updated last year
- Ansible Collection for Amazon AWS' Cloud Control API☆13Apr 10, 2026Updated 3 weeks ago
- 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.
- Print guitar chord with ascii characters given its name☆23Apr 17, 2026Updated 2 weeks ago
- ☆16Updated this week
- Tem algum conteúdo que você quer compartilhar com a comunidade? Fala com o OpenDevUFCG que a gente te impulsiona!☆15Oct 3, 2020Updated 5 years ago
- backend of Guabao☆14Sep 3, 2024Updated last year
- Implements several Markov chain Monte Carlo (MCMC) algorithms for the latent Dirichlet allocation (LDA) model☆11Feb 11, 2020Updated 6 years ago
- CLI tool for finding images online; maybe by location too...☆16Aug 29, 2024Updated last year
- Protect conda environments to avoid mistakenly modifying them☆15Jun 19, 2024Updated last year
- GitHub Action to build conda packages 📦☆21Apr 28, 2026Updated last week
- A conda-smithy repository for conda-forge-ci-setup.☆14Apr 23, 2026Updated last week
- 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.
- Materials for the "Recommender Systems through the lens of Decision Theory" tutorial delivered at the 30th Web Conference (WWW '21).☆11Apr 13, 2021Updated 5 years ago
- Evaluating and improving the faithfulness of the interpretations offered by Neural Module Networks☆13Jun 12, 2023Updated 2 years ago
- A repository for github actions☆12Updated this week
- GitHub repo created for medium article : "You should know these Linux commands to improve your terminal game 😎🖥️"☆14Oct 10, 2022Updated 3 years ago
- A Chrome extension that allows you to view if other GitHub users follow you.☆26Aug 26, 2021Updated 4 years ago
- This repo contains code for the paper "Psychologically-informed chain-of-thought prompts for metaphor understanding in large language mod…☆14Apr 28, 2023Updated 3 years ago
- Research code for "Towards multi-task learning of speech and speaker recognition" at https://arxiv.org/pdf/2302.12773.pdf☆12Dec 2, 2024Updated last year
- Convert Markdown docs into slides, support meeting mode. Similar to hackmd. 將 Markdown 文件轉換為簡報，支援會議模式。 類似於 hackmd☆10Jun 26, 2024Updated last year
- Become an artist, pixel by pixel.☆18Sep 28, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Common files for the Cloud collections☆20Mar 30, 2026Updated last month
- Agda as a collaborative multiplayer game☆39Apr 24, 2026Updated last week
- ☆13Dec 6, 2018Updated 7 years ago
- The standard template to create a lean game☆47Feb 20, 2026Updated 2 months ago
- Joint multi-task emotion deep neural model for emotion classification in multigenre.☆14May 10, 2024Updated last year
- The NLPStatTest project☆12Mar 12, 2022Updated 4 years ago
- Verify conda recipes and packages☆22Aug 26, 2025Updated 8 months ago