Google STEP Internship dev course - TSP Challenges
☆11Jul 7, 2017Updated 8 years ago
Alternatives and similar repositories for google-step-tsp-2017
Users that are interested in google-step-tsp-2017 are comparing it to the libraries listed below
Sorting:
- Certified Programming with Dependent Types (Japanese Translation)☆15Jan 14, 2021Updated 5 years ago
- Project Repo for GSoC 2019 at CERN☆11Jan 4, 2023Updated 3 years ago
- electron template menu☆12Jul 25, 2015Updated 10 years ago
- ☆12Sep 5, 2017Updated 8 years ago
- ☆10Sep 5, 2021Updated 4 years ago
- WWCode AWS Certification Study Group Resources☆14Dec 5, 2020Updated 5 years ago
- Gonthier's formal proof of the 4-color theorem, in Coq.☆11Dec 29, 2015Updated 10 years ago
- ☆13Oct 23, 2017Updated 8 years ago
- Haskell library for non-deterministic pattern matching☆17Dec 21, 2025Updated 2 months ago
- 🔥 Everything I liked☆16May 30, 2017Updated 8 years ago
- Handle application secrets securely☆16Feb 6, 2018Updated 8 years ago
- Complex Problem solved using basic Data structure and algorithm in C/C++☆12Jun 28, 2017Updated 8 years ago
- 52 weeks, 52 projects☆11Apr 28, 2024Updated last year
- Design and Analysis of Algorithms - 1 (from Stanford University)☆19Nov 6, 2018Updated 7 years ago
- My collection of Data Structures and Algorithms implemented in C++.I feel that these algorithms and data structures are very important fo…☆11Oct 20, 2018Updated 7 years ago
- A tool to complete a left-hand side from given expression for Go.☆17Jul 26, 2024Updated last year
- An interceptor for using New Relic with gRPC.☆16Jun 12, 2023Updated 2 years ago
- TFTP server implementation in Rust using mio☆17Feb 6, 2021Updated 5 years ago
- An interceptor for using OpenCensus with gRPC.☆16Jan 7, 2022Updated 4 years ago
- github-notifier just gets GitHub's Notifications and sends them to OS X's Notification Center.☆15Nov 14, 2019Updated 6 years ago
- Linux kernel build scripts and patches for Fedora/RISC-V☆16Nov 8, 2018Updated 7 years ago
- Type-preserving CPS translation for simply- and dependently-typed lambda calculi☆19Jun 3, 2017Updated 8 years ago
- An interceptor for access logging with gRPC.☆20Jan 7, 2022Updated 4 years ago
- こちらは教育用自作組み込みOSであるKOZOSをRaspberry Piへ移植したものです。This is an KOZOS(http://kozos.jp/kozos/) port to Raspberry Pi.☆20Aug 14, 2017Updated 8 years ago
- @tcnksm does dotfiles☆30Feb 22, 2026Updated 2 weeks ago
- An implementation of "A Pretty Expressive Printer" in OCaml☆26Mar 13, 2024Updated last year
- A thin-hypervisor that runs on aarch64 CPUs.☆103Feb 22, 2026Updated 2 weeks ago
- https://github.com/sk2sat/emu のほうで一から作り直ししてます☆24Jul 8, 2017Updated 8 years ago
- [WIP] A tiny RISC-V hypervisor software written in Rust☆27Dec 8, 2020Updated 5 years ago
- Frontend linter for developers☆30Dec 12, 2024Updated last year
- This is the code for "The Future of Deep Learning Research" by Siraj Raval on Youtube☆94Oct 4, 2017Updated 8 years ago
- A culturally tailored Code of Conduct for meetups and conferences in Japanese. 日本向けにカスタマイズしたカンファレンスや meetup のための CoC 。☆28Jan 7, 2020Updated 6 years ago
- Loom is a framework for automated generation of foundational multi-modal verifiers. This repository is a mirror with stable snapshots. Su…☆135Feb 21, 2026Updated 2 weeks ago
- Delimited continuations in byte-code and native OCaml☆27Jan 10, 2021Updated 5 years ago
- Gameboy emulator in Rust☆29Aug 13, 2023Updated 2 years ago
- The implementation of the Elevate language☆31Mar 21, 2025Updated 11 months ago
- Lightweight VSCode extension for Ruby.☆29Aug 24, 2025Updated 6 months ago
- Xen with GPUs☆30Jun 6, 2016Updated 9 years ago
- iOSDC2018 ReactorKitで作る実践iOS App☆29Dec 15, 2023Updated 2 years ago