☆161May 7, 2022Updated 4 years ago
Alternatives and similar repositories for Self-learning-Record
Users that are interested in Self-learning-Record are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A distributed in-memory store for temporal knowledge graphs☆10Mar 20, 2024Updated 2 years ago
- My solutions to the programming assignments of the Stanford Compiler course.☆396Jan 5, 2015Updated 11 years ago
- ☆28May 19, 2022Updated 4 years ago
- Stanford CS 110L : Safety in Systems Programming☆11Mar 8, 2021Updated 5 years ago
- Generative Models for Image Captioning☆10Jun 7, 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.
- ☆21May 27, 2025Updated last year
- ☆20Aug 3, 2018Updated 7 years ago
- Personal source code according to the video called "Han Shunping's Java data structures and algorithm".☆10Oct 13, 2020Updated 5 years ago
- 《统计学习方法》李航☆10Aug 19, 2018Updated 7 years ago
- Explore Go Awesome Standard library one module at the time☆14Jan 9, 2018Updated 8 years ago
- My MEng thesis code - verifying a security property for an SoC with Rosette☆17Jun 9, 2021Updated 5 years ago
- Fast key-value DB in Go.☆17Feb 22, 2022Updated 4 years ago
- 一门公开课《MIT6.824》的大作业☆12Jun 21, 2021Updated 5 years ago
- Lifelong Learning☆21Dec 16, 2022Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Stanford CS1/CS143 Compilers Course Project - Cool compiler☆135Jun 23, 2019Updated 7 years ago
- Fork of diux-dev/imagenet18☆16Oct 4, 2018Updated 7 years ago
- Simple task offloading client to offload HTTP requests to edge servers☆10Dec 8, 2022Updated 3 years ago
- Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignore…☆20Jan 13, 2025Updated last year
- HuaDB 实验框架☆158Feb 16, 2025Updated last year
- ☆17May 10, 2024Updated 2 years ago
- Web application for course on Formal Reasoning About Programs☆18Sep 17, 2025Updated 10 months ago
- Primo: Practical Learning-Augmented Systems with Interpretable Models☆19Dec 26, 2023Updated 2 years ago
- Toy RISC-V emulator☆15Oct 10, 2017Updated 8 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- The MiniDecaf test cases.☆18May 15, 2025Updated last year
- python写的分布式判题节点☆18Jun 26, 2017Updated 9 years ago
- 实现一个子集c编译器，后端基于llvm20☆13Mar 13, 2025Updated last year
- Tool to visualize and explain LTL counterexamples generated by the NuSMV model checker☆10Sep 7, 2020Updated 5 years ago
- OpenSL API and Extension Registry☆11Jul 29, 2023Updated 2 years ago
- Needed libraries for the sp18 version of 61B☆30Apr 25, 2018Updated 8 years ago
- 基于C语言实现一个简易的Web服务器，支持Http和Https（基于OpenSSL的TLS协议）☆13Sep 20, 2021Updated 4 years ago
- paNote: an graph note software can be deployed as blog or use as electron☆12Jun 15, 2024Updated 2 years ago
- Transformers components but in Triton☆34May 9, 2025Updated last year
- 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.
- 上海交通大学软件学院课程计算机系统基础（ICS）笔记☆15Feb 7, 2022Updated 4 years ago
- SGEMM and DGEMM subroutines using AVX512F instructions.☆15May 22, 2022Updated 4 years ago
- Automated test generator to detectcache side channel leakages.☆12Jul 1, 2019Updated 7 years ago
- Iodine: Verifying Constant-Time Execution of Hardware☆18Mar 29, 2021Updated 5 years ago
- ☆11Nov 14, 2022Updated 3 years ago
- ILAng documentation☆11Nov 2, 2025Updated 8 months ago
- A cross-platform text data viewer☆17May 14, 2018Updated 8 years ago