Dokumentasi pengerjaan praktikum saya selama berkuliah di fakultas STEI dan jurusan Teknik Informatika ITB
☆24Aug 31, 2022Updated 3 years ago
Alternatives and similar repositories for Praktikum-STEI-IF-ITB
Users that are interested in Praktikum-STEI-IF-ITB 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 Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"☆13Jul 7, 2023Updated 2 years ago
- Lean mathzoo☆24Mar 23, 2022Updated 4 years ago
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆136Aug 19, 2025Updated 8 months ago
- ☆388Apr 13, 2023Updated 3 years ago
- Single-file library for calculating 2D UI layouts using stacking boxes. Compiles as C99 or C++.☆981Mar 13, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆2,322Dec 8, 2023Updated 2 years ago
- List of awesome open source hardware tools, generators, and reusable designs☆2,301Mar 2, 2026Updated last month
- cocotb: Python-based chip (RTL) verification☆2,330Updated this week
- 🔥 The Complete Customizable Software Developer Portfolio Template which lets you showcase your work and provides each and every detail a…☆4,154Jan 20, 2026Updated 3 months ago
- A single-header ANSI C immediate mode cross-platform GUI library☆11,054Updated this week
- 🎨 The adorable charts library for Golang.☆7,599Apr 11, 2026Updated last week
- 🧙 Valtio makes proxy-state simple for React and Vanilla☆10,163Updated this week
- A sample Spring-based application☆9,107Mar 11, 2026Updated last month
- An incremental parsing system for programming tools☆24,792Updated this week
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ⭐️ A friendly language for building type-safe, scalable systems!☆21,355Updated this week
- Roadmap to becoming an Artificial Intelligence Expert in 2022☆30,916Sep 12, 2025Updated 7 months ago
- Run compilers interactively from your web browser and interact with the assembly☆18,686Updated this week
- 🎧 Open source music streaming app! Available for both desktop & mobile!☆45,638Mar 15, 2026Updated last month
- Dynamically generated stats for your github readmes☆79,075Mar 31, 2026Updated 2 weeks ago
- The 30 Days of Python programming challenge is a step-by-step guide to learn the Python programming language in 30 days. This challenge m…☆61,164Apr 4, 2026Updated 2 weeks ago
- Pure Javascript OCR for more than 100 Languages 📖🎉🖥☆38,011Feb 28, 2026Updated last month
- A list of developer portfolios for your inspiration☆21,986Updated this week
- 📚 A public list of APIs from round the web.☆23,240Aug 16, 2024Updated last year
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 🤪 A list of funny and tricky JavaScript examples☆37,677Mar 18, 2025Updated last year
- Curated list of Go design patterns, recipes and idioms☆27,896May 14, 2024Updated last year
- A smarter cd command. Supports all major shells.☆35,558Mar 23, 2026Updated 3 weeks ago
- Payload is the open-source, fullstack Next.js framework, giving you instant backend superpowers. Get a full TypeScript backend and admin …☆41,814Updated this week
- An open-source, self-hostable PaaS alternative to Vercel, Heroku & Netlify that lets you easily deploy static sites, databases, full-stac…☆53,713Updated this week
- Chris Titus Tech's Windows Utility - Install Programs, Tweaks, Fixes, and Updates☆51,736Apr 13, 2026Updated last week
- A curated list of free courses with certifications. Also available at https://free-certifications.com/☆54,108Jul 22, 2025Updated 8 months ago
- MinIO is a high-performance, S3 compatible object store, open sourced under GNU AGPLv3 license.☆60,711Feb 12, 2026Updated 2 months ago
- JSON for Modern C++☆49,400Apr 10, 2026Updated last week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- uBlock Origin - An efficient blocker for Chromium and Firefox. Fast and lean.☆62,692Apr 2, 2026Updated 2 weeks ago
- An open-source cross-platform alternative to AirDrop☆78,295Apr 6, 2026Updated last week
- A set of beautifully-designed, accessible components and a code distribution platform. Works with your favorite frameworks. Open Source. …☆112,351Updated this week
- A collective list of free APIs☆421,245Mar 18, 2026Updated last month
- A list of SaaS, PaaS and IaaS offerings that have free tiers of interest to devops and infradev☆120,708Updated this week
- The React Framework☆139,002Updated this week
- A list of Free Software network services and web applications which can be hosted on your own servers☆286,074Apr 9, 2026Updated last week