Programming Principles, SNU 4190.210, 2023 Fall
☆22Dec 6, 2023Updated 2 years ago
Alternatives and similar repositories for pp202302
Users that are interested in pp202302 are comparing it to the libraries listed below
Sorting:
- Programming Principles, SNU 4190.210, 2024 Fall☆22Dec 26, 2024Updated last year
- Tutorial for refinement based verification☆15Jan 16, 2026Updated last month
- ☆10Nov 20, 2023Updated 2 years ago
- ☆75Nov 21, 2024Updated last year
- Principles and Practices of Software Development Main Repository☆17Jun 10, 2024Updated last year
- Turn your Slack links into a personal tech magazine with AI-powered summaries☆55Feb 1, 2026Updated last month
- Repository for devcontainers of CPython☆13Feb 25, 2026Updated last week
- Brink is a domain specific language for linking and composing binary files.☆12Updated this week
- Okra is Peer to Peer LAN data sharing service☆12Oct 22, 2023Updated 2 years ago
- Let's learn GlueSQL 🎱☆13Apr 29, 2023Updated 2 years ago
- ☆15May 16, 2023Updated 2 years ago
- Coq solutions to exercises in HoTT book☆12Jan 31, 2014Updated 12 years ago
- My recommended computer programming book list☆12May 31, 2022Updated 3 years ago
- Tensors and Dynamic neural networks in Python with strong GPU acceleration☆11Aug 25, 2022Updated 3 years ago
- No-nonsense, elegant request framework☆11May 22, 2023Updated 2 years ago
- Bi-directional record in type-safe way☆17Sep 26, 2024Updated last year
- Let's contribute to open source! (2022)☆12Oct 2, 2022Updated 3 years ago
- Fail fast when accessing undefined properties on objects.☆14Jan 24, 2017Updated 9 years ago
- Proposal for tc39 of new integrity "level" protecting against both override mistakes and proxy reentrancy☆18Mar 30, 2025Updated 11 months ago
- Default UI for Hydro☆10Apr 3, 2021Updated 4 years ago
- A simple minesweeper game using Rust and windows-rs☆15Aug 22, 2021Updated 4 years ago
- Intro to Computer Architecture, Assembly language, MIPS, Hardware with Professor Glenn Reinman☆10Jun 20, 2014Updated 11 years ago
- Custom CosmWasm bindings for the Osmosis chain☆16Oct 13, 2022Updated 3 years ago
- Databases that CodeChain uses☆13Aug 12, 2020Updated 5 years ago
- #[derive(Future, Stream, Sink, AsyncRead, AsyncWrite, AsyncSeek, AsyncBufRead)] for enums.☆18Updated this week
- ☆15May 4, 2023Updated 2 years ago
- My OS configuration files☆17Feb 26, 2026Updated last week
- yew + axum + blog = yab☆14Jan 16, 2022Updated 4 years ago
- Gameboy Emulator in JS☆15Aug 19, 2023Updated 2 years ago
- ☆14Nov 8, 2022Updated 3 years ago
- AST Transpiler that converts Typescript into different languages (PHP, Python, C# (wip))☆21Nov 4, 2023Updated 2 years ago
- Fast object creator, via JSON.parse(), but type safe☆16Jun 10, 2022Updated 3 years ago
- "쓰면서 배우는 OAuth 2.0 & OpenID Connect" 자료 저장소☆24Jan 24, 2024Updated 2 years ago
- Advanced Linter for Gno☆14Feb 16, 2026Updated 3 weeks ago
- 컴퓨터 신기술 특강☆10Jun 23, 2023Updated 2 years ago
- 📚 (WIP) Rewriting Software Foundations in Lean 4☆28Oct 24, 2025Updated 4 months ago
- ✅ To-Do App made with Deno, React.js & MongoDB☆17Oct 29, 2020Updated 5 years ago
- Peer to Peer LAN data sharing service☆15Feb 11, 2023Updated 3 years ago
- ☆294Nov 27, 2024Updated last year