☆29Sep 6, 2017Updated 9 years ago
Alternatives and similar repositories for 15150-1
Users that are interested in 15150-1 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆15Nov 25, 2015Updated 10 years ago
- Personal reading notes (zh-CN)☆10Jul 13, 2024Updated 2 years ago
- Working through Type-Driven Development with Idris☆27Sep 7, 2016Updated 10 years ago
- Official code for "Optimal Transport for Rectified Flow Image Editing: Unifying Inversion-Based and Direct Methods" (WACV 2026)☆12Jun 5, 2026Updated 4 months ago
- Claude Code skill for TOEFL iBT 2026 preparation: 12-week study plan, daily drills, Anki flashcards, AI speaking coach, writing grader, l…☆23Apr 6, 2026Updated 6 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Single Page Web Applications in Idris☆29Apr 22, 2026Updated 6 months ago
- [CVPR 2026] Delta Velocity Rectified Flow for Text-to-Image Editing☆18Jul 7, 2026Updated 3 months ago
- Algorithms Lab (Algolab) HS 2024 @ ETH Zurich, solutions and insights☆17Apr 20, 2025Updated last year
- Public course materials for CSE 230 (Winter 2019)☆28Nov 8, 2021Updated 4 years ago
- Proof-of-concept formal verification using Hoare logic☆21Feb 29, 2020Updated 6 years ago
- This repository contains code snippets discussed in 15-440, lecture 5 (given on 1/28/2014).☆11Jan 30, 2014Updated 12 years ago
- ☆17Jan 21, 2024Updated 2 years ago
- 大角几何画板 SDK，支持加载内嵌的动态几何画板和一系列数据通信☆16Oct 21, 2026Updated last week
- Solved exercises of some chapters of the book "Introduction to 64 bit Assembly Programming for Linux and OS X", Ray Seyfarth☆11Feb 16, 2017Updated 9 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- CS 61 problem sets for 2020☆12Dec 1, 2020Updated 5 years ago
- GolfScript interpreter in Rust☆11Jul 7, 2024Updated 2 years ago
- 带有详细注释的XV6源码☆10Dec 8, 2019Updated 6 years ago
- CS294/194-196 Large Language Model Agents☆50Dec 20, 2024Updated last year
- A geometrical compiler project written in JavaScript for compiling and making complicated geometries.☆15Aug 28, 2024Updated 2 years ago
- Asio Buffers without the Asio☆17Apr 7, 2026Updated 6 months ago
- Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.☆11Jun 13, 2021Updated 5 years ago
- I'm taking Cornell University's "Introduction to Compilers" course☆15Feb 17, 2024Updated 2 years ago
- types for various combinatory systems, especialy tree calculi☆29Jan 23, 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.
- ☆12Dec 8, 2022Updated 3 years ago
- Research on code injection & reflection in c++☆11Nov 5, 2017Updated 8 years ago
- Aroma of the Songs — Visualizing music in the form of intricate rose petals using moving cube traces.☆12Feb 5, 2026Updated 8 months ago
- 🌲 Fully unit-tested B+ tree with basic paging implemented in C++☆17Jul 8, 2019Updated 7 years ago
- 🎮 game loop + 🐷 coroutine + 🌯 burrito = 🚀🔥 blazingly synchronous async executor for games 🔥🚀☆15Aug 25, 2023Updated 3 years ago
- GraphQL ABC - a GraphQL middleware for the abc web framework☆11Jun 11, 2020Updated 6 years ago
- ☆12Dec 17, 2023Updated 2 years ago
- ☆33May 23, 2026Updated 5 months ago
- Tarski's world: semantics of first-order logic☆11Oct 13, 2026Updated 2 weeks ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- All projects about ucb-cs186(fall 2013), you can get information from the course website(https://sites.google.com/site/cs186fall2013)☆13May 24, 2016Updated 10 years ago
- News from the depths☆15May 10, 2021Updated 5 years ago
- The Functional Virtual Machine.☆14Dec 18, 2024Updated last year
- This is for all projects I have done in cmu☆10Dec 3, 2013Updated 12 years ago
- Stalk whoever you want on Github☆13Feb 7, 2020Updated 6 years ago
- Hopefully a lexer-generator that doesn't fucking suck☆10Dec 12, 2022Updated 3 years ago
- The project folder of the 15-445 Introduction to Database system☆45Jul 20, 2018Updated 8 years ago