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 3 years ago
- A graphical shape based esolang☆35Dec 7, 2022Updated 3 years ago
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆141Aug 19, 2025Updated 10 months ago
- The adventures of a Haskell compiler☆242Mar 18, 2026Updated 3 months ago
- ☆499Apr 25, 2026Updated 2 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Random instruction generator for RISC-V processor verification☆1,320Apr 3, 2026Updated 3 months ago
- 🎌 Powerful navigation library for iOS based on the coordinator pattern☆2,384Jul 2, 2026Updated last week
- A curated collection of awesome Regex libraries, tools, frameworks and software☆1,819Oct 19, 2024Updated last year
- Hot Reloading for Swift applications!☆3,462Apr 29, 2026Updated 2 months ago
- List of awesome open source hardware tools, generators, and reusable designs☆2,365Mar 2, 2026Updated 4 months ago
- cocotb: Python-based chip (RTL) verification☆2,430Updated this week
- A Collection of GitHub Profiles with awesome readme☆3,055Feb 29, 2024Updated 2 years ago
- A unified framework for machine learning with time series☆9,833Updated this week
- 🔥 The Complete Customizable Software Developer Portfolio Template which lets you showcase your work and provides each and every detail a…☆4,194Jan 20, 2026Updated 5 months ago
- 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.
- A clean, Markdown-based publishing platform made for writers. Write together and build a community.☆5,197Updated this week
- RISC-V Instruction Set Manual☆4,694Jul 2, 2026Updated last week
- A flexible event/agent & automation system with lots of bees 🐝☆6,476Feb 25, 2023Updated 3 years ago
- A library for building fast, reliable and evolvable network services.☆26,955Jun 19, 2026Updated 2 weeks ago
- The modern toolkit for building drag and drop interfaces☆17,359Updated this week
- Anime Girls Holding Programming Books☆22,334Mar 10, 2026Updated 3 months ago
- An API wrapper for Discord written in Python.☆16,100May 25, 2026Updated last month
- Pure Javascript OCR for more than 100 Languages 📖🎉🖥☆38,182May 17, 2026Updated last month
- Vagrant is a tool for building and distributing development environments.☆27,171Jun 22, 2026Updated 2 weeks ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- matplotlib: plotting with Python☆22,964Updated this week
- 🤪 A list of funny and tricky JavaScript examples☆37,656Updated this week
- 💊 Application to use ReVanced on Android☆28,508Updated this week
- A smarter cd command. Supports all major shells.☆37,857Updated this week
- 🎥 Command line media player☆35,911Updated this week
- The official Vim repository☆40,591Updated this week
- An open-source, self-hostable PaaS alternative to Vercel, Heroku & Netlify that lets you easily deploy static sites, databases, full-stac…☆57,898Updated this week
- Chris Titus Tech's Windows Utility - Install Programs, Tweaks, Fixes, and Updates☆57,265Updated this week
- An ultra-simplified explanation to design patterns☆47,989Dec 2, 2024Updated last year
- 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.
- MinIO is a high-performance, S3 compatible object store, open sourced under GNU AGPLv3 license.☆61,294Apr 24, 2026Updated 2 months ago
- uBlock Origin - An efficient blocker for Chromium and Firefox. Fast and lean.☆65,995Updated this week
- An open-source cross-platform alternative to AirDrop☆84,890Jun 19, 2026Updated 2 weeks ago
- A collection of useful .gitignore templates☆174,712May 21, 2026Updated last month
- A long list of (advanced) JavaScript questions, and their explanations☆65,306Aug 4, 2024Updated last year
- A set of beautifully-designed, accessible components and a code distribution platform. Works with your favorite frameworks. Open Source. …☆118,427Updated this week
- A collective list of free APIs☆447,397Jun 30, 2026Updated last week