xic VS tezos

I cloc'd two compilers for xic, compilers written by cornell students for a compilers class which compile a toy C-like language down to assembly, possibly with some extensions. One compiler was about 11k sloc, the other about 32k. Both compilers are written mainly in OCaml, which is a terse language that is pretty optimal for compiler development, but have some java code in them as well. I think these are good examples of mostly minimal compilers which compile a C-like down to asm, though they are very rudimentary compared to more serious projects. I want to emphasize that this is not very meaningful without more details about what you are looking to know.

Here's a compiler for a C-like language written in OCaml (note: I am not one of the authors though I did take the class). Despite it being a college project I think it shows very clean design and particularly good use of preprocessors. All of the details for the language and stuff is linked at the bottom. It's a relatively small codebase of course but I think this is good educationally.

Appears to be a know known issue, being worked on: https://gitlab.com/tezos/tezos/-/issues/4005

Another tutorial for the Tezos Dev Docs is in the works, and should land soon (tezos!5058)

https://gitlab.com/tezos/tezos they have a good on onboarding doc too

If the packages don't work for you, you can download a pre-compiled binaries archive

I'm far from an expert, but check this out: https://gitlab.com/tezos/tezos/-/milestones/47 "Users will be able to run unmodified (or with minimal changes) code of smart contracts (either Michelson or Solidity) inside optimistic rollups at much larger speed than on L1." Does this imply that smart contracts from the Eth dimension (Solidity) could be integrated easily to Tezos somehow? Would love to hear devs on this.

Global Table of Constants