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
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 2 years ago
- documentation used in my projects☆16Updated this week
- ☆17Aug 5, 2025Updated 7 months ago
- Portfolio Page☆13Feb 10, 2026Updated last month
- 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
- 🔥 An experimental version of Burner Wallet using the Fuel open-beta.☆19Feb 4, 2026Updated last month
- 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
- All my most important summaries and notes of my bachelor in electrical engineering☆14Jul 19, 2025Updated 8 months ago
- CSE341: Programming Languages☆13Nov 22, 2019Updated 6 years ago
- Row-wise block scaling for fp8 quantization matrix multiplication. Solution to GPU mode AMD challenge.☆18Feb 9, 2026Updated last month
- A set of lecture notes for Physics Olympiad training☆19Oct 16, 2025Updated 5 months ago
- ☆15Oct 9, 2024Updated last year
- 🕷️ n8n Community Node for Scrappey API – Automate web scraping and data extraction with advanced anti-bot blocking technology, seamlessl…☆16Feb 2, 2026Updated last month
- A wrapper around libssh2 for .NET☆30Jan 21, 2026Updated last month
- cadCAD implementation in Julia☆17Dec 13, 2024Updated last year
- Personal Finance Expense Tracker☆20Nov 14, 2025Updated 4 months ago
- A cheat sheet of unit conversions in particle physics and astrophysics☆25Aug 15, 2025Updated 7 months ago
- This repo documents my workflows and stack to run comfy ui GenANI assist under windows☆32Feb 14, 2026Updated last month
- [NeurIPS 2025, Spotlight]: Ambient-o: Training Good models with Bad Data.☆33Jan 21, 2026Updated last month
- A collection of summary notes and formula sheets for various math, physics and engineering courses at UBC.☆12Dec 13, 2025Updated 3 months ago
- CLaMR: Contextualized Late-Interaction for Multimodal Content Retrieval☆24Jun 28, 2025Updated 8 months ago
- A web app for managing a stock portfolio, making transactions, and checking real-time stock prices.☆16Jul 11, 2022Updated 3 years ago
- ☆24May 8, 2025Updated 10 months 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 🎬☆17Updated this week
- Electron App Manager provides fast, secure, minimal and continuous updates + version and dependency management☆20Jun 25, 2023Updated 2 years ago
- implementations of some research papers 😴😴☆21Jul 28, 2025Updated 7 months 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
- WIP: Reference implementation, CLI and lib for Ethereum Signed Packages☆18Jan 6, 2023Updated 3 years ago
- A simple, interactive web tool to compare pricing and performance metrics of various AI models.☆18Mar 6, 2026Updated 2 weeks ago
- Harvard CS50 - Python solutions☆13Jan 21, 2026Updated last month
- 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☆24Updated this week
- Simple application for tracking and managing a home schooling program.☆40Sep 13, 2025Updated 6 months ago
- Scans for used translations, compares with your translations file and removes the ones that are not in use.☆17Nov 21, 2025Updated 3 months ago
- Tools for improving cadCAD experience☆11Dec 22, 2023Updated 2 years ago