Python Forum
ChocoPy - A Subset of Python3 used for teaching compiler courses
Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
ChocoPy - A Subset of Python3 used for teaching compiler courses
#1
https://chocopy.org/

Quote:ChocoPy is a programming language designed for classroom use in undergraduate compilers courses. ChocoPy is a restricted subset of Python 3, which can easily be compiled to a target such as RISC-V. The language is fully specified using formal grammar, typing rules, and operational semantics. ChocoPy is used to teach CS 164 at UC Berkeley. ChocoPy has been designed by Rohan Padhye and Koushik Sen, with substantial contributions from Paul Hilfinger.

The site features a compiler, showing the RISC-V assembly that's generated. Interesting stuff.
Reply


Possibly Related Threads…
Thread Author Replies Views Last Post
  Python Online Compiler alexmaxwell1 2 1,452 Sep-03-2023, 05:54 PM
Last Post: Skaperen
  online courses Naheed 2 2,521 May-17-2021, 12:39 PM
Last Post: Naheed
  Teaching myselft python. Question about testing myself metalmancellist 4 2,316 Feb-14-2021, 11:12 AM
Last Post: snippsat
  Learning Python - good free online resources & courses StickyBrickit 1 2,416 Jun-04-2020, 11:31 AM
Last Post: Larz60+
  Best compiler for windows or mac linux Shadowdevelopment 0 1,584 Jan-21-2020, 02:25 AM
Last Post: Shadowdevelopment
  Are Udemy courses worth to pursue? prakashkumar78 11 42,624 Jan-16-2020, 02:18 PM
Last Post: Karen1
  Free courses on Python! Need your review and guidance to polish it sumitavobiswas 2 2,639 Apr-26-2019, 04:39 AM
Last Post: Skaperen
  [split] the best python teaching program for an 8 year kid? ThomasMoore 2 2,341 Apr-16-2019, 09:12 PM
Last Post: Larz60+
  Multi-Language compiler/code Generator holyghost 1 2,462 Feb-07-2019, 11:07 AM
Last Post: Larz60+
  Transcrypt 3.6.56 Python to Javascript compiler now supports embedded JSX. jacques_de_hooge 1 2,649 Dec-01-2017, 05:30 PM
Last Post: nilamo

Forum Jump:

User Panel Messages

Announcements
Announcement #1 8/1/2020
Announcement #2 8/2/2020
Announcement #3 8/6/2020