microsoft / Code-HuntLinks
Code Hunt is a serious education game which has been played by over 140,000 students and enthusiasts over the past year. In the process we have collected over 1.5M programs. We hope that researchers will embark on research into the data. Please fill our quick survey to let us know how you are using the dataset, and get updates about new releases…
☆62Updated 2 years ago
Alternatives and similar repositories for Code-Hunt
Users that are interested in Code-Hunt are comparing it to the libraries listed below
Sorting:
- Cygwin mirror. Use https://github.com/mirror/newlib-cygwin instead.☆23Updated 10 years ago
- The GitHub Game Off 2012 is a game jam / hackathon / coding challenge to create an open source a web-based game☆253Updated 9 years ago
- A colorizer and set of snippets for LaTeX☆46Updated 6 years ago
- Legacy: Planetary System is a math-enabled Web 3.0 information portal.☆79Updated 9 years ago
- UPDATE: I've decided that this project is not useful enough, Git for local editing is not the bottleneck. We must focus on ranking algori…☆51Updated 7 years ago
- Track Cygwin changes from the CVS repository.☆28Updated 3 weeks ago
- A concise and small shell extension for Git☆28Updated 10 years ago
- Vamonos: browser-based algorithm visualization☆137Updated last year
- Automatic git checkins☆84Updated 9 years ago
- Axiom Project☆54Updated 6 years ago
- draws nearly the full content of a tiny git repository as a graph☆271Updated 7 years ago
- Convert selected text to ascii art banner☆68Updated 3 years ago
- Project moved to https://gitlab.com/gitlab-org/gitter/realtime-client☆24Updated 7 years ago
- Perspectives on Data Science for Software Engineering☆61Updated 2 years ago
- Package scripts for MSYS2.☆37Updated last week
- Pidgin and Finch: The Pimpin' Penguin IM Clients That're Good for the Soul - a git mirror of http://hg.pidgin.im/pidgin/main/☆49Updated 8 years ago
- The Boo Programming Language.☆41Updated 10 years ago
- Fork of Collaborative Web IDE by Google☆143Updated 7 years ago
- Friendly data search via Google Docs API☆26Updated 12 years ago
- IPython website sources. Any fixes to the website should be done on this repository.☆52Updated 4 months ago
- In this demo we take the well-known game of Sudoku, and demonstrate how developers can use HTML5 and JavaScript to create an efficient al…☆150Updated 7 years ago
- Linux and C programming in a web browser☆26Updated 9 years ago
- Research Project About Tech Literacy and Informal Learning☆128Updated 6 years ago
- AI course project template, inspired by Terry Winograd's classic Shrdlu system☆40Updated 8 years ago
- Implementations of security algorithms.☆66Updated 5 years ago
- Ohloh API examples☆94Updated 11 months ago
- Update: This project is no longer maintained and has been archived. See https://foundation.mozilla.org/blog/putting-away-our-x-ray-goggle…☆97Updated 6 years ago
- Appmaker was an exploration in making app authoring available to non-developers☆429Updated 6 years ago
- libmumble is an attempt at writing a cross-platform C++ library for implementing Mumble clients☆37Updated 11 years ago
- Visual Studio Code extension lets you render markdown to pdf, word doc or html with pandoc☆134Updated last year