My notes and solutions to exercises for EoPL3.
☆15Dec 22, 2023Updated 2 years ago
Alternatives and similar repositories for eopl3
Users that are interested in eopl3 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Tools for generating to and from wit format☆12Sep 6, 2024Updated last year
- 👟 Jade Service Runner☆16Aug 2, 2021Updated 4 years ago
- Creating a React-MUI-TypeScript Template☆15Mar 24, 2023Updated 3 years ago
- Portfolio Page☆13Feb 10, 2026Updated last month
- ☆17Aug 5, 2025Updated 8 months ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- MES aims to help STEM students by providing valuable reference sheets.☆10Mar 12, 2024Updated 2 years ago
- Specification for the ssb protocol☆14Aug 14, 2021Updated 4 years ago
- documentation used in my projects☆19Updated this week
- 🔥 An experimental version of Burner Wallet using the Fuel open-beta.☆19Feb 4, 2026Updated 2 months ago
- Equation sheets of STEM courses at the University of Washington (UW). Topics include chemistry, physics, calculus, applied mathematics, a…☆17Sep 7, 2023Updated 2 years ago
- CSE341: Programming Languages☆13Nov 22, 2019Updated 6 years ago
- A set of lecture notes for Physics Olympiad training☆19Oct 16, 2025Updated 5 months ago
- ☆15Oct 9, 2024Updated last year
- Row-wise block scaling for fp8 quantization matrix multiplication. Solution to GPU mode AMD challenge.☆19Feb 9, 2026Updated 2 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- 🕷️ n8n Community Node for Scrappey API – Automate web scraping and data extraction with advanced anti-bot blocking technology, seamlessl…☆16Feb 2, 2026Updated 2 months ago
- cadCAD implementation in Julia☆17Dec 13, 2024Updated last year
- A wrapper around libssh2 for .NET☆30Jan 21, 2026Updated 2 months ago
- A cheat sheet of unit conversions in particle physics and astrophysics☆25Aug 15, 2025Updated 7 months ago
- All my most important summaries and notes of my bachelor in electrical engineering☆14Jul 19, 2025Updated 8 months ago
- Personal Finance Expense Tracker☆20Nov 14, 2025Updated 4 months ago
- A collection of summary notes and formula sheets for various math, physics and engineering courses at UBC.☆12Dec 13, 2025Updated 3 months ago
- This repo documents my workflows and stack to run comfy ui GenANI assist under windows☆33Feb 14, 2026Updated last month
- A web app for managing a stock portfolio, making transactions, and checking real-time stock prices.☆17Jul 11, 2022Updated 3 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- [NeurIPS 2025, Spotlight]: Ambient-o: Training Good models with Bad Data.☆33Jan 21, 2026Updated 2 months ago
- CLaMR: Contextualized Late-Interaction for Multimodal Content Retrieval☆24Jun 28, 2025Updated 9 months ago
- Electron App Manager provides fast, secure, minimal and continuous updates + version and dependency management☆20Jun 25, 2023Updated 2 years ago
- ☆24May 8, 2025Updated 11 months ago
- WIP: Reference implementation, CLI and lib for Ethereum Signed Packages☆18Jan 6, 2023Updated 3 years ago
- Real-time webcam demo with SmolVLM(mlx-community/SmolVLM-Instruct-4bit) and MLX-VLM☆25Jun 12, 2025Updated 9 months ago
- A powerful, interactive Python CLI for converting, manipulating, and inspecting media files using FFmpeg 🎬☆19Mar 16, 2026Updated 3 weeks ago
- Harvard CS50 - Python solutions☆13Jan 21, 2026Updated 2 months ago
- implementations of some research papers 😴😴☆22Jul 28, 2025Updated 8 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Tools for improving cadCAD experience☆11Dec 22, 2023Updated 2 years ago
- Raptor is a modern, fast, and easy-to-use system for building disk images, bootable isos, containers and much more, from a simple, Docker…☆39Feb 10, 2026Updated last month
- Compare AI model pricing and performance in a simple interactive web app.☆18Apr 1, 2026Updated last week
- key/value store for Python based on Cloudflare workers☆33Jun 13, 2025Updated 9 months ago
- [NeurIPS 2025] Beyond Masked and Unmasked: Discrete Diffusion Models via Partial Masking☆29Mar 18, 2026Updated 3 weeks ago
- HarvardX: PH125.8x | Data Science: Machine Learning☆12Oct 29, 2021Updated 4 years ago
- Simple application for tracking and managing a home schooling program.☆40Sep 13, 2025Updated 6 months ago