Search Results for "tiny-workflow"

...One of its defining characteristics is its emphasis on extensibility, since Lean 4 is built to allow users to develop custom automation, metaprogramming tools, and domain-specific extensions instead of being limited to a fixed proving workflow. The broader Lean ecosystem also includes official tutorials, language references, examples, and installation and build tools, which reflects that the project is not just a core compiler repository but the center of a mature development platform.

Learn Go is a learning-focused repository built to teach Go from first principles through more advanced language and ecosystem features. It takes a course-like approach, starting with environment setup and the “Hello world” basics, then moving into variables, types, formatting, control flow, and functions. From there, it expands into Go’s practical structure for real projects, including modules, packages, and workspaces, plus useful commands for building and working with programs. The...

...SCEdit is an editor that comprehends the source code on a level similar to the compiler, giving you feedback about anything that can be concluded from the source code. It can also interpret meta-functions from the source code to either analyze, modify or create new code, allowing you to automate a complex workflow for and from your source code. Furthermore SC can be both compiled, interpreted, and just in time compiled.

...The compiler and interpreter are written in portable Pascal. I have successfully compiled MPL for CP/M, DOS, Windows, Atari ST, Amiga and the Tandy Colour Computer. MPL is designed to be tiny in every way, while implementing all the important features of BCPL & B. The result is a compiler written in a high level language (PASCAL) which compiles to under 16K (CP/M). The symbol table, language syntax, and bytecode are all optimized for size. I will write a MPL Reference Manual in time. Contact myself if you want to help get that written.