My notes and solutions to exercises for EoPL3.
☆15May 1, 2026Updated last month
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
- "Those distinct substances, which concretes generally either afford, or are made up of, may, without very much inconvenience, be called t…☆18Sep 22, 2020Updated 5 years ago
- Portfolio Page☆13May 26, 2026Updated last month
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆17Aug 5, 2025Updated 10 months ago
- MES aims to help STEM students by providing valuable reference sheets.☆10Mar 12, 2024Updated 2 years ago
- ☆19Oct 1, 2025Updated 8 months ago
- Specification for the ssb protocol☆14Aug 14, 2021Updated 4 years ago
- 🔥 An experimental version of Burner Wallet using the Fuel open-beta.☆19Feb 4, 2026Updated 4 months ago
- documentation used in my projects☆20Updated this week
- Equation sheets of STEM courses at the University of Washington (UW). Topics include chemistry, physics, calculus, applied mathematics, a…☆20Sep 7, 2023Updated 2 years ago
- CSE341: Programming Languages☆13Nov 22, 2019Updated 6 years ago
- A set of lecture notes for Physics Olympiad training☆21Oct 16, 2025Updated 8 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆17Oct 9, 2024Updated last year
- Row-wise block scaling for fp8 quantization matrix multiplication. Solution to GPU mode AMD challenge.☆19Feb 9, 2026Updated 4 months ago
- 🕷️ n8n Community Node for Scrappey API – Automate web scraping and data extraction with advanced anti-bot blocking technology, seamlessl…☆17Feb 2, 2026Updated 4 months ago
- cadCAD implementation in Julia☆17Dec 13, 2024Updated last year
- A cheat sheet of unit conversions in particle physics and astrophysics☆26Aug 15, 2025Updated 10 months ago
- A wrapper around libssh2 for .NET☆30Jan 21, 2026Updated 5 months ago
- All my most important summaries and notes of my bachelor in electrical engineering☆16Jul 19, 2025Updated 11 months ago
- A web app for managing a stock portfolio, making transactions, and checking real-time stock prices.☆17Jul 11, 2022Updated 3 years ago
- Personal Finance Expense Tracker☆20Nov 14, 2025Updated 7 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- This repo documents my workflows and stack to run comfy ui GenANI assist under windows☆39Apr 26, 2026Updated 2 months ago
- [NeurIPS 2025, Spotlight]: Ambient-o: Training Good models with Bad Data.☆35Apr 6, 2026Updated 2 months ago
- Electron App Manager provides fast, secure, minimal and continuous updates + version and dependency management☆20Jun 25, 2023Updated 3 years ago
- WIP: Reference implementation, CLI and lib for Ethereum Signed Packages☆18Jan 6, 2023Updated 3 years ago
- CLaMR: Contextualized Late-Interaction for Multimodal Content Retrieval☆25Jun 28, 2025Updated last year
- Harvard CS50 - Python solutions☆13Jan 21, 2026Updated 5 months ago
- ☆24May 8, 2025Updated last year
- Real-time webcam demo with SmolVLM(mlx-community/SmolVLM-Instruct-4bit) and MLX-VLM☆28Jun 12, 2025Updated last year
- Tools for improving cadCAD experience☆11Dec 22, 2023Updated 2 years 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.
- A powerful, interactive Python CLI for converting, manipulating, and inspecting media files using FFmpeg 🎬☆20Apr 12, 2026Updated 2 months ago
- implementations of some research papers 😴😴☆24Jul 28, 2025Updated 11 months ago
- Compare AI model pricing and performance in a simple interactive web app.☆21Jun 18, 2026Updated last week
- Raptor is a modern, fast, and easy-to-use system for building disk images, bootable isos, containers and much more, from a simple, Docker…☆42Feb 10, 2026Updated 4 months ago
- HarvardX: PH125.8x | Data Science: Machine Learning☆12Oct 29, 2021Updated 4 years ago
- Voting system based on Ethereum☆25May 9, 2023Updated 3 years ago
- [NeurIPS 2025] Beyond Masked and Unmasked: Discrete Diffusion Models via Partial Masking☆31Jun 15, 2026Updated 2 weeks ago