开源开发工具大会2020的幻灯片
☆46Dec 11, 2020Updated 5 years ago
Alternatives and similar repositories for OSDT2020
Users that are interested in OSDT2020 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory☆22Nov 20, 2025Updated 5 months ago
- A toy IO library for Arend☆18Feb 12, 2021Updated 5 years ago
- Memory manager for Free Pascal and Lazarus☆10Mar 18, 2025Updated last year
- Mathematical notes and papers☆27Jan 22, 2026Updated 3 months ago
- 开源开发工具大会OSDT2018报告PPT等资料☆18Nov 17, 2019Updated 6 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.
- javascript逆向开发基础组件,监听window的变化☆18Feb 11, 2024Updated 2 years ago
- Perfomance benchmarks of libvips library in comparison with other various image processing systems.☆19Jan 18, 2023Updated 3 years ago
- Simple IPC (interprocess communication) for any program to communicate with another program in any language, with examples in GoLang and …☆43Feb 19, 2024Updated 2 years ago
- Example of how to use TThread and all of the threading tools available with Free Pascal☆12Sep 3, 2023Updated 2 years ago
- This repo contains the source code for https://pest.rs☆13Mar 12, 2026Updated last month
- A simple Depdently-Typed Language for Research and Learning☆57Aug 20, 2016Updated 9 years ago
- An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"☆15Aug 8, 2018Updated 7 years ago
- Rust语言安全相关分析☆23Jan 20, 2022Updated 4 years ago
- Pascal bindings for imgui☆47Jun 23, 2018Updated 7 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.
- Compiler for the Tiger programming language☆12Oct 27, 2018Updated 7 years ago
- Computer graphics in Rust (Geometry, PBR, RT) and Taichi (Collision, Rigid Dynamics). 44100652/44100642 course assignments.☆25Oct 28, 2022Updated 3 years ago
- Minimalist compiler course, based on Essential of Compilation☆11Mar 2, 2026Updated 2 months ago
- just a place to throw some coding experiements while i re-re-re-learn rust