Informational Android app for Cornell University.
☆14Feb 3, 2018Updated 8 years ago
Alternatives and similar repositories for bigredapp-android
Users that are interested in bigredapp-android are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- WIP Handbook for MirageOS☆14Mar 15, 2018Updated 8 years ago
- An introductory tutorial for the Coq proof assistant.☆10Feb 5, 2019Updated 7 years ago
- ☆14Sep 9, 2024Updated 2 years ago
- QWOP AI using Q-learning☆12Jul 13, 2016Updated 10 years ago
- TicTacToe in Haskell.☆11Mar 26, 2017Updated 9 years ago
- 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.
- Student-run wiki for students interested in computer science at Cornell University☆102Nov 1, 2023Updated 2 years ago
- Deep Manifold Traversal☆14Nov 14, 2016Updated 9 years ago
- A Tutorial on Customized Image Generation by Fine-Tuning the Stable Diffusion Models☆14Oct 23, 2022Updated 3 years ago
- PathFinder - The best route is the shortest☆14May 4, 2021Updated 5 years ago
- OCaml bindings for L-BFGS☆16Oct 12, 2023Updated 2 years ago
- This is the repository for the l1_ls, a simple Matlab solver for l1-regularized least squares problems.☆17Mar 22, 2015Updated 11 years ago
- Demostration of simple microservices written in Scala using various frameworks☆15Sep 11, 2022Updated 4 years ago
- ☆13Sep 23, 2021Updated 5 years ago
- A tool for ameliorating the Cornell course enroll system!☆16Dec 27, 2022Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Lightweight OpenGL-based rendering engine for OCaml (unreleased)☆23Aug 8, 2017Updated 9 years ago
- Website link:☆10Nov 30, 2019Updated 6 years ago
- Minimum docker images for OCaml+OPAM☆16Dec 18, 2019Updated 6 years ago
- A book of poetry, computationally generated from Donald Trump quotes☆19Feb 8, 2016Updated 10 years ago
- ☆15May 12, 2022Updated 4 years ago
- Rust implementation of sequence alignment / Levenshtein distance by A* acceleration of the DP algorithm☆23Jul 9, 2017Updated 9 years ago
- Intro to Julia for Scientific Software Club at Cornell☆20Nov 6, 2017Updated 8 years ago
- Summer of Math Exposition 2 Wordle☆16Sep 15, 2022Updated 4 years ago
- ☆16Mar 3, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- OCaml/MPI interface☆29Mar 8, 2026Updated 6 months ago
- ☆25Oct 26, 2018Updated 7 years ago
- Objective Caml binding embedding the R interpreter☆37Jun 27, 2026Updated 2 months ago
- Extensible binary data format, like JSON but faster☆43Jun 17, 2022Updated 4 years ago
- A method to mine beyond-pairwise relationships using Min-Hashing for large-scale pattern discovery☆27Oct 10, 2021Updated 4 years ago
- Visual demo example for our paper "SCORES: Shape Composition with Recursive Substructure Priors"☆17Oct 2, 2018Updated 7 years ago
- Minimalist terminal editor like emacs without lisp☆23Aug 23, 2026Updated last month
- Ant Colony Optimization using various techniques☆24Feb 11, 2013Updated 13 years ago
- ☆18May 23, 2018Updated 8 years ago
- 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.
- ☆23Jul 11, 2022Updated 4 years ago
- Look and Modify: Modification Networks for Image Captioning, BMVC 2019☆21Feb 18, 2020Updated 6 years ago
- Riichi Mahjong Scores Trainer☆20Jul 15, 2026Updated 2 months ago
- Instructions and parts for building a deep learning GPU box☆21May 31, 2018Updated 8 years ago
- simple wrapper on vcg to give small platform independent mesh converters☆13Nov 4, 2016Updated 9 years ago
- Secure HSM implementation based on MirageOS☆37Oct 15, 2022Updated 3 years ago
- Running League of Legends from a Docker container☆23Aug 7, 2018Updated 8 years ago