My notes and solutions to exercises for EoPL3.
☆15May 1, 2026Updated 2 months 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
- Portfolio Page☆13May 26, 2026Updated last month
- 🔥 An experimental version of Burner Wallet using the Fuel open-beta.☆19Feb 4, 2026Updated 5 months ago
- Specification for the ssb protocol☆14Aug 14, 2021Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- HarvardX: PH125.8x | Data Science: Machine Learning☆12Oct 29, 2021Updated 4 years ago
- MES aims to help STEM students by providing valuable reference sheets.☆10Mar 12, 2024Updated 2 years ago
- 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
- cadCAD implementation in Julia☆17Dec 13, 2024Updated last year
- A web app for managing a stock portfolio, making transactions, and checking real-time stock prices.☆17Jul 11, 2022Updated 4 years ago
- A collection of summary notes and formula sheets for various math, physics and engineering courses at UBC.☆13Dec 13, 2025Updated 7 months ago
- Electron App Manager provides fast, secure, minimal and continuous updates + version and dependency management☆20Jun 25, 2023Updated 3 years ago
- A set of lecture notes for Physics Olympiad training☆21Oct 16, 2025Updated 9 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- WIP: Reference implementation, CLI and lib for Ethereum Signed Packages☆18Jan 6, 2023Updated 3 years ago
- Repository for subjects under The University of Melbourne's major in Data Science (B.Science)☆15Jul 18, 2020Updated 6 years ago
- Voting system based on Ethereum☆25May 9, 2023Updated 3 years ago
- All my most important summaries and notes of my bachelor in electrical engineering☆16Jul 19, 2025Updated last year
- Harvard CS50 - Python solutions☆14Jan 21, 2026Updated 6 months ago
- Tools for improving cadCAD experience☆11Dec 22, 2023Updated 2 years ago
- the Dependent Unboxed higher-oRder Intermediate Notation☆14Feb 8, 2022Updated 4 years ago
- Basic Typescript Dependency Injection with Decorators☆14Aug 14, 2015Updated 10 years ago
- Notes for UCLA classes☆12Jun 13, 2017Updated 9 years 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.
- nydp - a modern, more dangerous kind of lisp☆10Apr 8, 2025Updated last year
- My course notes from my first year doing a degree in Computer Science at The University of Manchester☆12Nov 5, 2019Updated 6 years ago
- Implementation of the languages from the EOPL textbook in Haskell and Standard ML.☆15Dec 22, 2019Updated 6 years ago
- ☆17Oct 9, 2024Updated last year
- ☆11Aug 9, 2023Updated 2 years ago
- "Tis much better to do a little with certainty & leave the rest for others that come after than to explain all things by conjecture witho…☆23Dec 3, 2020Updated 5 years ago
- An interpreter for Janus, the reversible programming language.☆15Jun 7, 2020Updated 6 years ago
- A GPU triangle mesh voxelizer using the geometry shader.☆13Dec 24, 2015Updated 10 years ago
- Source Code for Video language.☆142Nov 17, 2019Updated 6 years ago
- 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.
- "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
- Mechanistic model for the Filecoin Economy☆16May 8, 2025Updated last year
- Safely running potentially non-terminating functions in Elm.☆10Apr 20, 2021Updated 5 years ago
- Computational ElectroMagnetism on a Yee Lattice☆19Nov 17, 2020Updated 5 years ago
- An example blog built with Next.js and MDX☆21Jan 31, 2024Updated 2 years ago
- Source code and Solutions for HarvardX CS50's 2023-2024; Includes all the PSets and Project work for CS50x, CS50W (web), CS50P (python)☆23Feb 8, 2024Updated 2 years ago
- A computational geometry library using arbitrary-precision arithmetic where possible, written in Java.☆27Mar 15, 2013Updated 13 years ago