Client-server AI match maker used for the French national programming contest Prologin
☆17Aug 14, 2026Updated 2 months ago
Alternatives and similar repositories for stechec2
Users that are interested in stechec2 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Système de recommandation minimal sur Movielens (pour Girls Can Code! 2016)☆16May 26, 2025Updated last year
- Slides and sources for talks on Tree Borrows☆17Dec 5, 2025Updated 11 months ago
- A business card in LaTeX☆29Feb 11, 2017Updated 9 years ago
- ☆20May 4, 2026Updated 6 months ago
- Generate regex-constrained strings for QuickCheck☆15May 20, 2014Updated 12 years 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.
- Gasoline is an OCaml library providing application templates. Applications written with Gasoline are parametrised by the command line, en…☆16Feb 8, 2018Updated 8 years ago
- Caffe definition files for the "Using Deep Learning to Predict Demographics from Mobile Phone Metadata" paper☆14Oct 23, 2017Updated 9 years ago
- Control the DOM from Python using Websockets☆12Mar 5, 2018Updated 8 years ago
- A Coq library for abstract syntactical reasoning☆24Apr 29, 2025Updated last year
- Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]☆27Mar 2, 2026Updated 8 months ago
- QuickCheck extras.☆29Jun 23, 2019Updated 7 years ago
- Export Eagle PCBs and schematics for interactive display on the web☆12Jan 23, 2018Updated 8 years ago
- Django Up and Down - upvote and downvote mixin for django models☆13Oct 13, 2018Updated 8 years ago
- Create Apple mobileconfig configuration files☆11Jul 1, 2016Updated 10 years 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.
- SimilarImages is a Mac application that searches for images on your filesystem using a reference image. It is licensed under the Mozilla …☆13Sep 20, 2012Updated 14 years ago
- A CocoaPod to conveniently detect input of Xbox controllers☆15Feb 6, 2013Updated 13 years ago
- Measure and calibrate operational privacy risks for differentially private algorithms.☆12Mar 13, 2026Updated 7 months ago
- Powerful , Fast, Better use & Simple Golang microservice framework☆16Mar 15, 2021Updated 5 years ago
- Wanna meet?☆17May 19, 2016Updated 10 years ago
- eeprog is a Linux C program that allows you to read and write to 24Cxx EEPROMs.☆13Apr 26, 2023Updated 3 years ago
- Yet another busybox / toybox tool. This one's written in Intel x86-64 64-bit assembly language.☆14Apr 23, 2023Updated 3 years ago
- A toy Lisp program for drawing and animating pixel art.☆16Jan 26, 2012Updated 14 years ago
- JavaScript Point and Click Adventure game "engine" inspired by SCUMM (Script Creation Utility for Maniac Mansion) based on CreateJS.☆10Nov 6, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- POSIX core utilities written in Go☆12Jul 22, 2022Updated 4 years ago
- Kayak (PXE-enabled network imaging of OmniOS)☆17Oct 2, 2026Updated last month
- Using IOKit to enable the special keys on a Microsoft Natural Keyboard.☆15Sep 2, 2013Updated 13 years ago
- Mutation analysis tool for Coq verification projects☆31Oct 13, 2020Updated 6 years ago
- A fully patched version of Fallout Who Vegas with options to install a large variety of additional mods or tweaks created by the communit…☆12Aug 24, 2026Updated 2 months ago
- AthenaJS is an HTML5 game engine☆13Apr 2, 2019Updated 7 years ago
- SVG badges for Go projects☆55Jun 10, 2019Updated 7 years ago
- Go bindings for Sparkle☆15Mar 16, 2025Updated last year
- aptly - Debian repository management tool (fork of aptly-dev/aptly)☆13Sep 27, 2019Updated 7 years 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.
- This is the NCurses version of the Netware SMP Screensaver for Linux (text-based terminals). The Netware SMP XScreensaver version for X…☆17Feb 19, 2024Updated 2 years ago
- Menu bar unread count indication for Mail.app in Mac OS.☆22Aug 9, 2020Updated 6 years ago
- Please see☆22Feb 22, 2015Updated 11 years ago
- MS Paint as a Wayland compositor☆12Feb 10, 2019Updated 7 years ago
- A simple and easily modifiable and expandable text adventure game engine☆12Jun 9, 2020Updated 6 years ago
- Teensy E-Paper Shield demo by Jarek Lupinski☆17Sep 19, 2016Updated 10 years ago
- joke page until I decide what to do with this domain name☆42Oct 27, 2026Updated last week