☆40Jan 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
- ☆11May 14, 2023Updated 2 years ago
- math puzzles from various sources, formalized in Lean☆10Oct 21, 2023Updated 2 years 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
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- 🖇 Create a HTTP Client/SDK from your API, fully-typed and with amazing DX☆12Oct 13, 2022Updated 3 years ago
- React hook for getting the device pixel ratio and reacting to changes☆12Apr 15, 2024Updated last year
- Ferramenta para acompanhamento e extração de informação do Git.☆16Jan 7, 2023Updated 3 years ago
- Printable (A4) overview of tactics in Lean 4 for beginners☆31Sep 19, 2024Updated last year
- // Packages : Archcraft Specific☆11Oct 15, 2025Updated 5 months ago
- This repository contains the example of JavaScript Promises and Operations☆11Sep 8, 2021Updated 4 years ago
- ☆14Apr 21, 2025Updated 11 months ago
- ☆16Mar 13, 2026Updated last 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
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- GCommit is a git-plugin that eases pair-programming commits☆21Sep 3, 2024Updated last year
- backend of Guabao☆14Sep 3, 2024Updated last year
- API para piadas/charadas aleatórias☆21Sep 2, 2017Updated 8 years ago
- An API that give random jokes in Portuguese.☆20Feb 14, 2021Updated 5 years ago
- VisBERT: Demo web app for "How Does BERT Answer Questions?"☆11Jul 22, 2023Updated 2 years ago
- Throttle fetch() requests when accessing a rate-limited web service or to avoid http request crash☆12Jun 20, 2020Updated 5 years ago
- The "un-minimized" version of the PICO-8 game NanoMan☆29Mar 22, 2017Updated 9 years ago
- ☆40Nov 1, 2021Updated 4 years ago
- A Chrome extension that allows you to view if other GitHub users follow you.☆26Aug 26, 2021Updated 4 years 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.
- Some useful info about working with git☆36Jul 19, 2025Updated 8 months ago
- Material for my useEffect book.☆17Jan 4, 2021Updated 5 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 2 years ago
- Convert Markdown docs into slides, support meeting mode. Similar to hackmd. 將 Markdown 文件轉換為簡報，支援會議模式。 類似於 hackmd☆10Jun 26, 2024Updated last year
- Transforming TCP sockets to MQTT with Go☆12Sep 27, 2020Updated 5 years ago
- ROCK Framework for Commonsense Causality Reasoning (CCR)☆10Jun 28, 2023Updated 2 years ago
- ☆15Oct 19, 2020Updated 5 years ago
- ☆13Dec 6, 2018Updated 7 years ago
- Joint multi-task emotion deep neural model for emotion classification in multigenre.☆14May 10, 2024Updated last year
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- The NLPStatTest project☆12Mar 12, 2022Updated 4 years ago
- Use pydantic schemas to define your query parameters, with extra sugar in them ✨☆39Jan 15, 2023Updated 3 years ago
- Simple Python implementation of the Library of Babel☆39Sep 14, 2023Updated 2 years ago
- A novel baseline model for Story Cloze Test and ROCStories☆11May 14, 2017Updated 8 years ago
- Change your Discord Rich Presence easily!☆13Nov 28, 2022Updated 3 years ago
- Because NTU course selection system sucks☆15Nov 13, 2023Updated 2 years ago
- ☆50Jun 27, 2022Updated 3 years ago