jazeved0 / cs2340-risk
Scala/Play + Vue.js web application providing online Risk, produced for CS 2340 with Professor Simpkins
☆14Updated last year
Related projects ⓘ
Alternatives and complementary repositories for cs2340-risk
- My solutions for Advent Of Code since 2015!☆21Updated last year
- An online version of shengji (a.k.a. tractor) and zhaopengyou (a.k.a. Finding Friends)☆85Updated 10 months ago
- Next-gen hackathon registration system☆49Updated last year
- A web app that makes it easy to search for Muscogee (Creek) words☆11Updated last year
- ☆14Updated 5 years ago
- Beginner Workshops for Georgia Tech's The Agency☆11Updated 3 years ago
- Proving Ground: Tools for Automated Mathematics☆203Updated 3 years ago
- 🧙 A 3D game about functional programming patterns. Uses PureScript Native, C++, and Panda3D.☆164Updated 5 years ago
- ☆10Updated 6 years ago
- MERN Stack Bootcamp☆18Updated 5 years ago
- Automated reasoning for React/ReasonML☆112Updated last year
- This is a catalogue of all past and present NUS DYOMS☆9Updated 3 years ago
- My solutions to advent of code 2019☆8Updated 4 years ago
- Verification framework and tool for higher-order Scala programs☆359Updated 2 weeks ago
- The Vanderbilt Hustler: Classic Edition☆8Updated 2 years ago
- Telegram bot that helps users submit their temperatures to http://temptaking.ado.sg so they don't sign extras.☆9Updated 4 years ago
- Solver for higher-order functional programs, used by Stainless☆88Updated 2 weeks ago
- Code health for scalameta☆23Updated 9 years ago
- ☆151Updated 6 years ago
- Skłable game (scrabble-like game) written in Scala.☆22Updated 2 years ago
- A curated list of awesome Concur resources and related projects.☆11Updated 3 years ago
- Formalization of the Dependent Object Types (DOT) calculus☆62Updated 2 years ago
- A purely functional library to build distributed and event-driven systems☆138Updated last year
- Home of bindings to fast-check☆49Updated 5 months ago
- Chatbot that uses ChatGPT Pinecone and Langchain☆15Updated last year
- Script to easily submit your body temperature to NUS's temperature declaration system☆16Updated 3 years ago
- ChatGPT plugin for Hacker News☆13Updated 5 months ago