My notes and solutions to exercises for EoPL3.
☆15May 1, 2026Updated 2 weeks 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
- "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☆13Apr 19, 2026Updated last month
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆17Aug 5, 2025Updated 9 months ago
- 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 3 months ago
- Equation sheets of STEM courses at the University of Washington (UW). Topics include chemistry, physics, calculus, applied mathematics, a…☆19Sep 7, 2023Updated 2 years ago
- CSE341: Programming Languages☆13Nov 22, 2019Updated 6 years ago
- A set of lecture notes for Physics Olympiad training☆20Oct 16, 2025Updated 7 months ago
- ☆16Oct 9, 2024Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Row-wise block scaling for fp8 quantization matrix multiplication. Solution to GPU mode AMD challenge.☆19Feb 9, 2026Updated 3 months ago
- 🕷️ n8n Community Node for Scrappey API – Automate web scraping and data extraction with advanced anti-bot blocking technology, seamlessl…☆17Feb 2, 2026Updated 3 months ago
- cadCAD implementation in Julia☆17Dec 13, 2024Updated last year
- A cheat sheet of unit conversions in particle physics and astrophysics☆25Aug 15, 2025Updated 9 months ago
- A wrapper around libssh2 for .NET☆30Jan 21, 2026Updated 3 months ago
- All my most important summaries and notes of my bachelor in electrical engineering☆15Jul 19, 2025Updated 10 months ago
- Personal Finance Expense Tracker☆20Nov 14, 2025Updated 6 months ago
- A web app for managing a stock portfolio, making transactions, and checking real-time stock prices.☆17Jul 11, 2022Updated 3 years ago
- This repo documents my workflows and stack to run comfy ui GenANI assist under windows☆36Apr 26, 2026Updated 3 weeks ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- [NeurIPS 2025, Spotlight]: Ambient-o: Training Good models with Bad Data.☆34Apr 6, 2026Updated last month
- Electron App Manager provides fast, secure, minimal and continuous updates + version and dependency management☆20Jun 25, 2023Updated 2 years ago
- CLaMR: Contextualized Late-Interaction for Multimodal Content Retrieval☆25Jun 28, 2025Updated 10 months ago
- WIP: Reference implementation, CLI and lib for Ethereum Signed Packages☆18Jan 6, 2023Updated 3 years ago
- ☆24May 8, 2025Updated last year
- Harvard CS50 - Python solutions☆13Jan 21, 2026Updated 3 months ago
- Real-time webcam demo with SmolVLM(mlx-community/SmolVLM-Instruct-4bit) and MLX-VLM☆26Jun 12, 2025Updated 11 months ago
- Tools for improving cadCAD experience☆11Dec 22, 2023Updated 2 years ago
- A powerful, interactive Python CLI for converting, manipulating, and inspecting media files using FFmpeg 🎬☆20Apr 12, 2026Updated last month
- 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.
- implementations of some research papers 😴😴☆24Jul 28, 2025Updated 9 months ago
- Compare AI model pricing and performance in a simple interactive web app.☆18May 7, 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…☆41Feb 10, 2026Updated 3 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☆30May 7, 2026Updated last week
- key/value store for Python based on Cloudflare workers☆33Jun 13, 2025Updated 11 months ago